VIAF

Virtual International Authority File

Search

Sifakis, Joseph, 1946-.... NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France National Library of the Czech Republic German National Library

Sifakis, Joseph Wikipedia (en)-test German National Library ISNI-test

Sifakis, J. (Joseph), 1946- Library of Congress/NACO

VIAF ID: 110770950 (Personal)

Permalink: http://viaf.org/viaf/110770950

ISNI-test: 0000  0001  2147  7236 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close Section 5xx's: Related Names (3)

Open Section Close SectionWorks

Title Sources
Une algèbre de processus pour un calcul basé sur la déduction Sudoc [ABES], France
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings NUKAT Center of Warsaw University Library National Library of the Netherlands-test Library of Congress/NACO German National Library
Conception des systèmes logiques : 2e année ENSIMAG-C'4 maîtrise informatique Sudoc [ABES], France
Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Embedded systems design : The ARTIST Roadmap for Research and Development National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Un modèle logique général pour les systèmes de recherche d'informations application au prototype RIME Sudoc [ABES], France
Spécification et validation de systèmes en Xesar Sudoc [ABES], France
VENUS un outil d'aide à la vérification des systèmes communicants Sudoc [ABES], France
Vérification de propriétés de programmes flots de données synchrones Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:110770950 (21)