Ontology-based analysis and scalable model checking of embedded systems models
- Författare
- Nesredin Mahmud
- (Nesredin Mahmud.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| School of Innovation, Design and Engineering, Mälardalen University | 2017 | Sverige, Västerås | xiv, 61 sidor. ill. | 978-91-7485-337-7 |
| Mälardalen University | 2017 | Sverige, Västerås | 200 |