Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000121477236 | 1 hits
Person
ISNI: 
0000 0001 2147 7236
Name: 
Sifakis, J.
Sifakis, Joseph
Dates: 
1946-
Creation class: 
Computer file
Language material
Text
Creation role: 
author
editor
redactor
writer of accompanying material
Related names: 
Bouyssounouse, Bruno
Chiaramella, Yves
Fernandez, Jean-Claude (1954-....))
Grenoble
Jorrand, Philippe
Payan, Charles
Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli, Alberto (1947-)
Sangiovanni-Vincentelli, Alberto L. (1947-)
Trilling, Laurent
Verjus, Jean-Pierre (1943-....))
Voiron, Jacques
Yovine, Sergio
Titles: 
algèbre de processus pour un calcul basé sur la déduction, Une
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Embedded systems design : the ARTIST roadmap for research and development
modèle logique général pour les systèmes de recherche d'informations application au prototype RIME, Un
Modèles temporels des systèmes logiques
Spécification et validation de systèmes en Xesar
VENUS un outil d'aide à la vérification des systèmes communicants
Vérification de propriétés de programmes flots de données synchrones
Notes: 
Grenoble, Diss., 1974
Sources: 
VIAF LC NKC NTA NUKAT SUDOC WKP