Synthesis Of Embedded Software: Frameworks And Methodologies For Correctness By Construction
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | August 5, 2010 |
| Editors | Jean-Pierre Talpin |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2269687 |
About 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. . . .