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
Abstraction
Ordonnancement (informatique)
Modélisation
Model checking
Multicoeur
Temps-réel
Microprocesseurs multi-coeurs
Analyse formelle
Petri, Réseaux de
Ingénierie dirigée par les modèles
Vérification de modèles (informatique)
Linux
Délai de bout-en-bout