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