Designing embedded systems with the SIGNAL programming language synchronous, reactive specification /
This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive systems, avionics, nuclear power plants and telecommunication systems. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such...
Main Author: | Gamatié, Abdoulaye. |
---|---|
Other Authors: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
New York :
Springer,
©2010.
New York : [2010] |
Physical Description: |
1 online resource (xxiii, 259 pages) : illustrations. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |