Synthesis of Embedded Software [E-Book] : Frameworks and Methodologies for Correctness by Construction / edited by Sandeep K. Shukla, Jean-Pierre Talpin.
Shukla, Sandeep K.
Talpin, Jean-Pierre.
Boston, MA : Springer Science+Business Media, LLC, 2010.
online resource
9781441964007
Full Text
Description not available.