Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Record details
- ISBN: 9781441964007
- Physical Description: XV, 300p. 200 illus., 100 illus. in color. online resource.
- Publisher: Boston, MA : Springer US : 2010.
Search for related items by subject
Subject: | Engineering. Computer aided design. Systems engineering. Engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. |