Martin Strecker
IdRefMots clés
FR |
EN
Méthodes formelles
Vérification
Méthodes formelles (informatique)
Ingénierie dirigée par les modèles
Graphes
Temps réel (informatique)
Transformation de modèles
Ingénierie Dirigée par les Modèles (IDM)
Structures de pointeurs
Types de données inductifs
Raffinement
Schorr-Waite
Bdds
Programmation impérative (informatique)
Système abstrait
Temps continu
Fonction partielle
Trajectoire globale
Théorie de systèmes
Systèmes, Théorie des