A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems
by Muhammad Fadlisyah
Bok Engelsk 2014
| Utgitt | [Oslo] : Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo , 2014
|
|---|---|
| Omfang | XII, 248 s. : ill.
|
| Opplysninger | Delvis opptrykk av artikler. - Avhandling (ph.d.) - Universitetet i Oslo, 2014
|
| Emner | |
| Dewey |
