Dominique Méry
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Raffinement
Méthodes formelles
Programmation parallèle (informatique)
Ontologies (informatique)
Composition
Vérification
Algorithmes
Parallélisme (informatique)
Algorithmes parallèles
Ingénierie dirigée par les modèles
Event-B
Systèmes embarqués (informatique)
Temps réel (informatique)
Génie logiciel
Logique temporelle
Méthodes Formelles
B (méthode formelle)
Modélisation
Modélisation des données (informatique)