Tallenna
Synthesis of Embedded Software
nidottu, 2014
englanti
It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language.
- Alaotsikko
- Frameworks and Methodologies for Correctness by Construction
- Toimittaja
- Sandeep Kumar Shukla, Jean-Pierre Talpin
- Painos
- 2010 ed.
- ISBN
- 9781489987372
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 20.11.2014
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 266
