Documentation Documentation
Identifiant IdRef : 060235128
Notice de type Personne

Point d'accès autorisé

Sifakis, Joseph (1946-....)

Information

Langue d'expression : Francais

Source

Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel [thèse 2001] / Karine Altisen

Internet, http://www.academie-sciences.fr/presse/communique/election_150311.pdf, 2011-03-28

Information trouvée : Joseph Sifakis, né le 26 décembre 1946

Le Contrôle des systèmes asynchrones : concepts, propriétés, analyse statique / par Joseph Sifakis ; sous la dir. de Louis Bolliet, 1979.- Thèse d'Etat : Sciences. Mathématiques : Grenoble 1 : 1979 ; 77

Modèles temporels des systèmes logiques / Joseph Sifakis ; sous la dir. de Jean Kuntzmann, 1974.- Thèse de docteur-ingénieur : Informatique : Grenoble 1 : 1974

Autres identifiants

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...