Approches formelles des systèmes embarqués communicants

Public ISBD Titre : Approches formelles des systèmes embarqués communicants Type de document : texte imprimé Auteurs : Olivier H. Roux, Directeur de publication, rédacteur en chef ; Claude Jard (1959-....), Directeur de publication, rédacteur en chef Editeur : Paris : Hermès science publications-Lavoisier Année de publication : 2008 Collection : Traités IC2. Série Informatique et systèmes d'information Sous-collection : Informatique et systèmes d'information Importance : 1 vol. (268 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1942-7 Note générale : Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Méthodes formelles (informatique) Systèmes enfouis (informatique) Temps réel (informatique) Markov, Processus de Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée 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 STIC 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. Note de contenu : 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 Côte titre : Fs/9669-9672 Approches formelles des systèmes embarqués communicants [texte imprimé] / Olivier H. Roux, Directeur de publication, rédacteur en chef ; Claude Jard (1959-....), Directeur de publication, rédacteur en chef . - Paris : Hermès science publications-Lavoisier, 2008 . - 1 vol. (268 p.) : ill. ; 24 cm. - (Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-1942-7 Notes bibliogr. Langues : Français (fre) Catégories : Informatique Mots-clés : Méthodes formelles (informatique) Systèmes enfouis (informatique) Temps réel (informatique) Markov, Processus de Index. décimale : 621.3 - Éclairage, électronique, électrotechnique, génie informatique, optique appliquée 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 STIC 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. Note de contenu : 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 Côte titre : Fs/9669-9672

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/9669	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9670	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9671	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/9672	Fs/9669-9672	livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)