Le moteur de recherche
des thèses françaises
Frédéric Boniol
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Temps réel (informatique)
Méthodes formelles (informatique)
Systèmes embarqués
Temps réel
Raffinement
Vérification formelle
Vérification de modèles (informatique)
Abstraction
Fiabilité
Ordonnancement (informatique)
Modélisation
Microprocesseurs multi-coeurs
Model checking
Multicoeur
Modèles mathématiques
Temps-réel
Analyse formelle
Réseaux de Petri
Ingénierie dirigée par les modèles