Approches formelles des systèmes embarqués communicants

Olivier H. Roux, Claude Jard - Collection Traité IC2 - Informatique et systèmes d'information

268 pages, parution le 17/10/2008

Ajouter à une liste

Indisponible

Téléchargement immédiat

Format : PDF
Sans DRM

QUANTITÉ

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.

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

Voir tout

Replier

Caractéristiques techniques

	PAPIER	NUMERIQUE
Éditeur(s)	Hermès - Lavoisier
Auteur(s)	Olivier H. Roux, Claude Jard
Collection	Traité IC2 - Informatique et systèmes d'information
Parution	17/10/2008	16/10/2008
Nb. de pages	268	268
Format	16 x 24	-
Couverture	Relié	-
Poids	658g	-
Intérieur	Noir et Blanc	-
Contenu	-	PDF
EAN13	9782746219427	9782746243156
ISBN13	978-2-7462-1942-7	-