Navigation de collection par Auteur(e) Boudaoud -, Abdelkrim
Montrant les résultats 1 à 1 de 1
| Date de publication | Titre | Auteur(s) |
|---|---|---|
| 25-jui-2019 | Vers une approche combinant SysML et Model Checking pour la vérification formelle des propriétés dynamiques | Boudaoud -, Abdelkrim; Bedjaoui, Malik |