| Titre : | Approches formelles des systèmes embarqués communicants |
| Auteurs : | Olivier H. Roux, Directeur de publication ; Claude Jard, Directeur de publication |
| Type de document : | Monographie imprimée |
| Editeur : | Paris : Hermès science / Lavoisier, impr. 2008 |
| Collection : | Traités IC2. Série Informatique et systèmes d'information, ISSN 2108-6281 |
| Sous-collection : | Informatique et systèmes d'information |
| ISBN/ISSN/EAN : | 978-2-7462-1942-7 |
| Format : | 1 vol. (268-XIII p.) / ill. / 24 cm |
| Langues: | Français |
| Index. décimale : | 621.382 (Techniques des communications) |
| Catégories : |
[Agneaux] Systèmes embarqués (informatique) |
| Résumé : |
IC2 - Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques.Conçu volontairement dans un esprit d'échange disciplinaire, IC2 représente l'état de l'art dans les domaines suivants retenus par le comité scientifique :Cognition et traitement de l'information Information et sciences du vivant Informatique et systèmes d'information Management et gestion des STIL Réseaux et télécoms Signal et Image Systèmes automatisés Technologies et développement durable Chaque ouvrage décrit aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix.Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles. |
| Sommaire : |
Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? Les modèles pour les systèmes temps réel embarqués Model checking temporisé Contrôle des systèmes temporisés Vérification quantitative de chaînes de Markov Outils de Model Checking Outils pour l'analyse des modèles hybrides |
Disponibilité (2)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| INF/209 | Livre | bibliothèque sciences exactes | Consultable |
| INF/209 | Livre | bibliothèque sciences exactes | Empruntable |
