Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction by Sandeep K. Shukla
English | PDF | 2010 | 276 Pages | ISBN : 1441963995 | 4 MB
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 control, avionics control, weapons control and space missions.