Recherche
Ajouter des filtres :
Vous pouvex utiliser des filtres pour chercher mieux.
Résultats 1 à 1 sur un total de 1.
- précédente
- 1
- suivante
Résultats trouvés : Documents
Date de publication | Titre | Auteur(s) |
---|---|---|
25-jui-2018 | Vers une approche combinant SysML et Model Checking pour la vérification formelle des propriétés dynamiques. | BOUDAOUD, Abdelkrim; BEDJAOUI, Malik |
Découvrir
Date publié
- 1 2018