Identifiant pérenne de la notice : 147205336
Notice de type
Personne
Exploitation des symétries partielles pour la vérification et l'évaluation de performances
des systèmes finis / Souheib Baarir ; sous la direction de Serge Haddad, 2007
https://pages.lip6.fr/Souheib.Baarir/, le 2024-03-28
Information trouvée : Maitre de Conférences à l'Université de Paris Nanterre (en 2023). En poste au sein
du Laboratoire d'Informatique de Paris 6 (LIP6), dans l'équipe Modélisation et Vérification
(MoVe)
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