Symbolic on-the-fly analysis of stochastic Petri nets
Verfasserangaben: | Martin Schwarick |
---|---|
URN: | urn:nbn:de:kobv:co1-opus4-30560 |
URL: | http://opus4.kobv.de/opus4-btu/files/3056/Martin_Schwarick.pdf |
Dokumentart: | Dissertation |
Sprache: | Englisch |
Erscheinungsjahr: | 2014 |
Seitenzahl: | XVII, 225 |
Fakultät / Fachgebiet: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |