Identifiant pérenne de la notice : 180286064
Notice de type
Personne
Property driven verification framework: application to real time property for UML
MARTE software design / Ning Ge [Thèse de doctorat : Toulouse, INPT : 2014]
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