Tallenna
Synthesis of Embedded Software
sidottu, 2010
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
- 9781441963994
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 17.9.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 266
