Treffer: Model checking stochastic hybrid systems

Titel:

Model checking stochastic hybrid systems / Ernst Moritz Hahn. Betreuer: Holger Hermanns

Beteiligt:

Veröffentlicht:

Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2013

Umfang:

1 Online-Ressource

Format:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Universität des Saarlandes, Saarbrücken, 2012

Schlagworte:

Zusatz-Informationen