Roux - Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d'

Roux - Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d'

Roux - Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d'

Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d' est disponible au téléchargement en format PDF et EPUB. Ici, vous pouvez accéder à des millions d'ebooks. Tous les ebooks disponibles pour lire en ligne et télécharger sans payer plus.



Approches formelles des systemes embarques communicants traite ic2 serie informatique et systemes d' Roux

Sommaire Préface -C. Jard, O. H. Roux. Chapitre 1. Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? -J.-P. Elloy. Chapitre 2. Les modèles pour les systèmes temps réels embarqués -D. Lime, O. H. Roux. Chapitre 3. Model checking temporisé -B. Bérard. Chapitre 4. Contrôle des systèmes temporisés -F. Cassez, N. Markey. Chapitre 5. Diagnostic des systèmes temporisés -F. Cassez, S. Tripakis. Chapitre 6. Vérification quantitative de chaînes de Markov -S. Donatelli, S. Haddad. Chapitre 7. Outils de Model Checking -A. David, G. Behrmann, K. G. Larsen, P. Pettersson, J. I. Rasmussen, W. Yi, D. Lime, M. Magnin, O. H. Roux. Chapitre 8. Outils pour l'analyse des modèles hybrides -T. Dang, G. Frehse, A. Girard, C. Le Guernic.

18.06.2019