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