Joseph Sifakis
IdRefMots clés
FR |
EN
Vérification
Verification
Logique temporelle
Parallélisme (informatique)
Ordonnancement
Systèmes embarqués (informatique)
Logiques temporelles
Protocoles de réseaux d'ordinateurs
Real time system
Sciences et techniques
Processus communicants
Spécification
Validation
Sciences appliquées
Sciences appliquees
Informatique
Systeme temps reel
System analysis
Temporal logic
Sémantique du parallélisme