Get Free Shipping on orders over $79
Communicating Embedded Systems : Software and Design - Claude Jard

Communicating Embedded Systems

Software and Design

By: Claude Jard (Editor), Olivier H. Roux (Editor)

Hardcover | 7 December 2009 | Edition Number 1

At a Glance

Hardcover


$370.75

or 4 interest-free payments of $92.69 with

 or 

Ships in 5 to 10 business days

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. <p> 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. <p> 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.

More in Computer Programming & Software Development

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$52.47

30%
OFF
Practical Probabilistic Programming - Stefan Nordin
Practical Probabilistic Programming - Stefan Nordin
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
The Practical Guide - Kerem Koseoglu

$96.75

C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF