Communicating Embedded Systems for Computer Sciences

Name: Communicating Embedded Systems for Computer Sciences
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 9781848211438
Price: 153.95 EUR
Availability: InStock

Autor: Claude Jard, Olivier Roux

Jazyk:

Väzba: Pevná

Vydavateľ: ISTE Ltd and John Wiley & Sons Inc

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 11-15 dní

153.95 €

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster...

Informácie o knihe

Autor

Claude Jard, Olivier Roux

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2009

Stránok

274

EAN

9781848211438

ISBN

1848211430

Enbook ID

01434010

Vydavateľ

ISTE Ltd and John Wiley & Sons Inc

Hmotnosť

554

Rozmery

157 x 241 x 21

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Communicating Embedded Systems for Computer Sciences

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež