Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory
- Författare
- Jonas Westman
- (Jonas Westman.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| KTH Royal Institute of Technology | 2016 | Sverige | 237 sidor. (PDF) | |
| KTH Royal Institute of Technology | 2016 | Sverige | 237 sidor. : ill. | 978-91-7729-106-0 |