by Abdoulaye Gamatié (Author)
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.
Format: Hardcover
Pages: 284
Edition: 2010
Publisher: Springer
Published: 16 Oct 2009
ISBN 10: 1441909400
ISBN 13: 9781441909404