Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Shukla, Sandeep K. (Editor), Talpin, Jean-Pierre (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US : Imprint: Springer, 2010.
• Subjects: Engineering.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction Edited by: Sandeep Kumar Shukla Jean-Pierre Talpin Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive con...