Development of Controllers Using Simulink and Contract-Based Design. Chapter 8
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Details
| Original language | English |
|---|---|
| Title of host publication | Dependability and Computer Engineering: Concepts for Software-Intensive Systems |
| Editors | Luigia Petre, Kaisa Sere, Elena Troubitsyna |
| Place of Publication | Hershey, PA |
| Publisher | IGI Global |
| Pages | 151-169 |
| ISBN (Print) | 978-1-60960-747-0 |
| DOIs | |
| Publication status | Published - 2011 |
| Publication type | A3 Part of a book or another research book |