Frédéric Boniol
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Temps réel (informatique)
Systèmes embarqués
Méthodes formelles (informatique)
Temps réel
Raffinement
Vérification formelle
Ordonnancement (informatique)
Abstraction
Modélisation
Model checking
Vérification de modèles (informatique)
Temps-réel
Ingénierie dirigée par les modèles
Microprocesseurs multi-coeurs
Analyse formelle
Petri, Réseaux de
Langages de programmation
Systèmes temps-réel
Automates temporisés