Identifiant pérenne de la notice : 225358662
Notice de type
Personne
Combinaison de méthodes formelles pour la spécification de systèmes ferroviaires /
Thomas Fayolle ; sous la direction de Régine Laleau. Thèse de doctorat : Informatique
: Paris Est : 2017
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