Synthesis of embedded software frameworks and methodologies for correctness by construction /

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...

Full description

Other Authors: Shukla, Sandeep K., Talpin, Jean-Pierre., SpringerLink (Online service)
Format: eBook
Language: English
Published: New York : Springer, ©2010.
New York : [2010]
Physical Description: 1 online resource (xv, 266 pages)

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available