Téléchargez le livre : Communicating Embedded Systems

Communicating Embedded Systems

Software and Design de

,

Éditeur :

Wiley-ISTE


Paru le : 2013-02-04

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
163,47 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.
Pages
288 pages
Collection
n.c
Parution
2013-02-04
Marque
Wiley-ISTE
EAN papier
9781848211438
EAN PDF
9781118600122
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
288
Taille du fichier
2028 Ko
Prix
163,47 €
EAN EPUB
9781118600092
Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
288
Taille du fichier
3092 Ko
Prix
163,47 €

Suggestions personnalisées