Joseph Sifakis
Mots clés
FR |
EN
Vérification
Logique temporelle
Verification
Ordonnancement
Parallélisme (informatique)
Systèmes embarqués (informatique)
Real time system
Logiques temporelles
Protocoles de réseaux d'ordinateurs
Simulation par ordinateur
Composants
Validation
Simulation
Systèmes à base de composants
Programmation temps-rée
Systèmes adaptatifs
Systèmes temps-réel
Spécification
Temps réel (informatique)
Sciences et techniques