Eintrag weiter verarbeiten

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Personen und Körperschaften: Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Titel: Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Format: E-Book
veröffentlicht:
Dresden Technische Universität Dresden 2012
Online-Ausg.. 2013
Gesamtaufnahme: ; Franck Cassez, Ralf Huuck, Gerwin Klein and Bastian Schlich (Hrsg.): Proceedings Seventh Conference on Systems Software Verification (SSV 2012), Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, S.. 156–166
Schlagwörter: