Geffroy, Jean-Claude.
VIAF ID: 56737714 ( Personal )
Permalink: http://viaf.org/viaf/56737714
Preferred Forms
- 200 _ | ‡a Geffroy ‡b Jean-Claude
-
-
- 100 1 _ ‡a Geffroy, Jean-Claude
-
- 100 1 0 ‡a Geffroy, Jean-Claude
-
- 100 1 _ ‡a Geffroy, Jean-Claude,
-
Works
Title | Sources |
---|---|
Accélération de la simulation logico-fonctionnelle : simulateur à évènements discrets totalement distribués | |
AIDE A LA CONCEPTION DE LOGICIELS DE SUPERVISION DE PROCEDES INDUSTRIELS | |
Analyse de la commandabilité et de l'observabilité de systèmes modélisés hiérarchiquement : étude et réalisation de l'outil informatique PHOEBUS | |
Contribution à la synthèse des machines logiques séquentielles à l'aide d'éléments à seuil | |
DESIGN AID FOR SUPERVISION SOFTWARE SYSTEMS. | |
Design of dependable computing systems | |
Détection et correction des erreurs dans les systèmes numériques : notes de cours | |
Embedded system applications, 1997: | |
ETUDE D'UN RESEAU CELLULAIRE DE COMMUNICATION A ADRESSAGE ASSOCIATIF | |
Étude et implémentation d'un langage orienté objet muli-potentialité, Hydre : application à la simulation structuro-fonctionnelle | |
Identification de systèmes séquentiels structurés : Application à la validation du test | |
Identification of sequential systems, a new method : differential identification. | |
Study and realization of an actor-oriented language : application to hierarchized simulation. | |
Sûreté de fonctionnement des systèmes informatiques : avec exercices corrigés | |
Test en ligne et sécurité des systèmes logiques. | |
Time extension of finite state machines : application to the hazard analysis of asynchronous structured sequential systems. | |
Validation des séquences de test des circuits intégrés complexes : contribution au développement de l'outil informatique Soline |