EUR 98,00
  • Tous les prix incluent la TVA.
Il ne reste plus que 1 exemplaire(s) en stock (d'autres exemplaires sont en cours d'acheminement).
Expédié et vendu par Amazon. Emballage cadeau disponible.
Approches formelles des s... a été ajouté à votre Panier
Vous l'avez déjà ?
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir cette image

Approches formelles des systèmes embarqués communicants Broché – 17 octobre 2008


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Broché
"Veuillez réessayer"
EUR 98,00
EUR 98,00 EUR 183,71
Note: Cet article est éligible à la livraison en points de collecte. Détails
Récupérer votre colis où vous voulez quand vous voulez.
  • Choisissez parmi 17 000 points de collecte en France
  • Les membres du programme Amazon Prime bénéficient de livraison gratuites illimitées
Comment commander vers un point de collecte ?
  1. Trouvez votre point de collecte et ajoutez-le à votre carnet d’adresses
  2. Sélectionnez cette adresse lors de votre commande
Plus d’informations

Top NYP 2017 Top NYP 2017

click to open popover

Offres spéciales et liens associés


Description du produit

Les systèmes embarqués sont un enjeu industriel et académique incontesté et connaissent une complexité grandissante : architectures réparties et hétérogènes, ressources limitées, systèmes "concurrents" et communicants. Ces systèmes sont souvent critiques et soumis à des contraintes non fonctionnelles importantes, en particulier énergétiques et temporelles. Cette complexité, couplée avec des cycles de développement de plus en plus courts impose une conception à la fois basée sur les modèles et assistée par des outils. Les méthodes formelles offrent un cadre mathématique fondé sur des modèles prenant aujourd'hui en compte les paramètres discrets, stochastiques et continus (temporels et hybrides) ainsi que des outils de plus en plus performants. Cet ouvrage est consacré à ces méthodes formelles appliquées aux systèmes embarqués en insistant sur les enjeux, la modélisation, la vérification, le diagnostic, la synthèse de contrôleurs et en présentant les principaux outils associés.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
5 étoiles
0
4 étoiles
0
3 étoiles
0
2 étoiles
0
1 étoile
0
Partagez votre opinion avec les autres clients

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?