Synthesis of Embedded Software
Subtitle: Frameworks and Methodologies for Correctness by Construction
Publisher: Springer
Published: 2010
Language: eng
ISBN-13: 9781441964007
Subjects: Embedded computer systems; Computer software, development; Signal processing, digital techniques