Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Approches formelles des systèmes embarqués communicants

Librairie Eyrolles - Paris 5e
Indisponible

Approches formelles des systèmes embarqués communicants

Approches formelles des systèmes embarqués communicants

- Collection Traité IC2 - Informatique et systèmes d'information

268 pages, parution le 03/12/2008

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 du livre "Approches formelles des systèmes embarqués communicants"

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

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925