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

Point d'accès autorisé

Thirioux, Xavier (19..-.... ; enseignant-chercheur en informatique)

Information

Langue d'expression : Francais

Source

Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ; sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique : Côte d'Azur : 2017

Information trouvée : Rapporteur de thèse, membre du jury

Vérification de propriétés temporelles de programmes réactifs répartis / par Xavier Thirioux ; sous la dir. de Gérard Padiou [Thèse doctorat : Informatique : Toulouse, INPT : 1999]

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