Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Approches formelles des systèmes embarqués communicants
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Approches formelles des systèmes embarqués communicants

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

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 -

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de 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 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription