Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Construction

by: Sandeep Kumar Shukla · Jean-Pierre Talpin

Hardcover

ISBN: 978-1-4419-6399-4

ISBN-10: 1-4419-6399-5

Springer · 2010