Annie Choquet-Geniet
IdRefMots clés
FR |
EN
Temps réel (informatique)
Ordonnancement (informatique)
Systèmes embarqués (informatique)
Ingénierie dirigée par les modèles
Petri, Réseaux de
Tolérance aux fautes (informatique)
Systèmes informatiques -- Pannes
Contraintes énergétiques
Qualité de service
Système autonome
Systèmes, Conception de
Tests conditionnels
Arbre d'ordonnancement
Simulation, Méthodes de
Méthodes formelles (informatique)
Logiciels -- Validation
Langages de programmation -- Sémantique
Commande automatique
Informatique -- Industrie et commerce
Systèmes temps-réel embarqué