Le moteur de recherche
des thèses françaises
Fabrice Kordon
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Réseaux de Petri
Model checking
Ingénierie dirigée par les modèles
Génération de code
Logiciels -- Vérification
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é
Algorithmes