Eintrag weiter verarbeiten
Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT)
Gespeichert in:
| Personen und Körperschaften: | , , |
|---|---|
| Titel: | Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT)/ von Yang Gao, M.Sc. ; Gutachter: Prof. Dr. Martin Fränzle, Prof. Dr. Paolo Zuliani |
| Hochschulschriftenvermerk: | Dissertation, Carl von Ossietzky Universität Oldenburg, 2017 |
| Format: | E-Book Hochschulschrift |
| Sprache: | Englisch |
| veröffentlicht: |
Oldenburg
2017
|
| Schlagwörter: | |
| Erscheint auch als: | Gao, Yang, Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT), Oldenburg, 2017, XX, 113 Seiten |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |