data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 162455100
Notice de type Personne

Point d'accès autorisé

Ermont, Jérôme (19..-.... ; enseignant-chercheur en informatique)

Information

Langue d'expression : Francais

Source

Une algèbre de processus pour la modélisation et la vérification de systèmes temps-réel avec préemption / Jérôme Ermont ; Frédéric Boniol, dir., 2002 (Thèse)

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 : ...