Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Show other versions (1)
Bibliographic Details
Main Author: Shukla, Sandeep K
Corporate Author: SpringerLink (Online service)
Other Authors: Talpin, Jean-Pierre
Format: Electronic Kit Book
Language:English
Published: Boston, MA Springer Science+Business Media, LLC 2010
Subjects:
Engineering
Computer aided design
Systems engineering
Circuits and Systems
Computer-Aided Engineering (CAD, CAE) and Design
Online Access:http://dx.doi.org/10.1007/978-1-4419-6400-7

Similar Items

Similar Items