Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

• Κύριος συγγραφέας: Shukla, Sandeep K
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Talpin, Jean-Pierre
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA Springer Science+Business Media, LLC 2010
• Θέματα: Engineering; Computer aided design; Systems engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design