Sergio Yovine
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Systèmes embarqués multiprocesseurs , Performance , Modélisation
Cadriciel
Framework , Composants
Mpeg-4
Wasabi
Cake
IPv4
Spdi
Inclusions différentielles
Systèmes hybrides
Vérification
Décidabilité
Analyse d'atteignabilité
Portrait de phase
Controllabilité
Viabilité
Sciences appliquees
Informatique
Automatique theorique