Identifiant pérenne de la notice : 162152906
Notice de type
Collectivité
Etude des architectures de sécurité de systèmes autonomes : formalisation et évaluation
en Event-B / Jean-Charles Chaudemar ; sous la direction de Christel Seguin et Eric
Bensana, 2012
Internet, http://doctorat.isae.fr/fr/ecoles_doctorales/ecole_doctorale_systemes/equipe_accueil_commande_systemes_dynamique_vol,
2012-07-06
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