Le moteur de recherche
des thèses françaises
Jean-Luc Béchennec
IdRefMots clés
FR |
EN
Temps réel (informatique)
Vérification de modèles (informatique)
Vérification formelle
Systèmes d'exploitation (ordinateurs)
Ordonnancement (informatique)
Model-checking
Systèmes virtuels (informatique)
Processeur
Systèmes d’exploitation temps-réel
Systèmes embarqués
Méthodes formelles
Modèles à états finis
Systèmes embarqués (informatique)
Code source (informatique)
Réseaux de Petri colorés de haut niveau
Systèmes d’exploitation temps réel
Exécution multi-coeurs
Vérification d’OS AUTOSAR
Réseaux de Petri
Traitement réparti