Le moteur de recherche
des thèses françaises
Philippe Dhaussy
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Temps réel (informatique)
Ingénierie dirigée par les modèles
Analyse des systèmes
Méthodes formelles (informatique)
Point de vue
Vérification formelle
Sécurité des systèmes
Vérification de modèles (informatique)
Génie logiciel
Systèmes temps réel
Forçage en ligne
Réseaux de Petri
Test
Petri, Réseaux de
Métamodélisation
Métiers
Travail de groupe
Patrons de sécurité
Propriétés de Sécurité