A rewriting-logic-based approach for the formal modeling and analysis of interacting hybrid systems

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


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	Komplekse systemer Omskrivning Sanntidssystemer
Dewey	005.12

Biblioteksøk