Fabrice Kordon
Mots clés
FR |
EN
Méthodes formelles (informatique)
Petri, Réseaux de
Model checking
Ingénierie dirigée par les modèles
Génération de code
Logiciels -- Vérification
Réseaux de Petri
Vérification formelle
Vérification
Temps réel (informatique)
Traitement réparti
Systèmes embarqués (informatique)
Solveurs linéaires parallèles
Vérification de modèles (informatique)
Uml
Réseaux de Pétri
Temps réel
Dynamique holomorphe
Méthodes formelles
Test de vacuité