Modèles de temps pour la vérification des systèmes temps-réel, Fachbücher von Nabil Belala

Modèles De Temps Pour La Véri¿cation Des Systèmes Temps-réel | Nabil

Contribution à la conception de systèmes temps-réel, Fachbücher

Ordonnancement de systèmes parallèles temps-réel, Fachbücher

Système de biopuce optique en temps réel, Fachbücher

Gestion de la qualité de service des systèmes embarqués distribués en temps réel, Fachbücher von Joseph Hoffert

Des systèmes d'aide à la décision temps réel et distribués, Fachbücher

Systèmes temps-réel embarqués, Fachbücher

Modélisation conjointe logiciel/matériel de systèmes temps réel, Fachbücher

Modèles Eos/gE pour la Prédiction de Systèmes Fortement Dissymétriques, Fachbücher von Joan Escandell

Vérification Symbolique De Modèles | À L'aide De Systèmes De

Systèmes modèles polyuréthanes bicomposants, Fachbücher von Nabil Ketata

Le coût exact de l'OS dans les systèmes temps réel durs, Fachbücher

Application de la méthodologie des systèmes logiciels pour développer un modèle de sécurité des SI, Fachbücher von Dawit...

Conception des Systèmes Temps Réel, Fachbücher von Mohamed Najeh Lakhoua

Vérification de la Sûreté des Systèmes Hybrides, Fachbücher von Othman Nasri