Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

by Abdoulaye Gamatié (Author)

Synopsis

This book describes synchronous programming for the design of safety-critical embedded systems such as automotive, nuclear power plants, and multimedia. The programming language used is SIGNAL, and the techniques presented promote the use of formal concepts.

$215.09

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 284
Edition: 2010
Publisher: Springer
Published: 16 Oct 2009

ISBN 10: 1441909400
ISBN 13: 9781441909404