Shukla, Sandeep K.
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction / [electronic resource] : edited by Sandeep K. Shukla, Jean-Pierre Talpin. - Boston, MA : Springer US, 2010. - digital.
9781441964007
10.1007/978-1-4419-6400-7 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction / [electronic resource] : edited by Sandeep K. Shukla, Jean-Pierre Talpin. - Boston, MA : Springer US, 2010. - digital.
9781441964007
10.1007/978-1-4419-6400-7 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815