Formal modeling and analysis of probabilistic real-time systems in rewriting logic : a probabilistic - detaljert visning

Formal modeling and analysis of probabilistic real-time systems in rewriting logic : a probabilistic strategy language approach

Lucian Bentea
Bok Engelsk 2015


Utgitt	Oslo : Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo , 2015
Omfang	XII, 302 s. : ill.
Opplysninger	Avhandling (ph.d.) - Universitetet i Oslo, 2015
Dewey	004.3