Automatische Verifikation stochastischer Systeme
Joachim Meyer-Kayser
| Year of publication: |
2003
|
|---|---|
| Authors: | Meyer-Kayser, Joachim |
| Publisher: |
Erlangen : Inst. für Informatik |
| Subject: | Stochastisches Petri-Netz | Leistungsbewertung | Model Checking |
| Extent: | IX, 136 S. : Ill., graph. Darst. |
|---|---|
| Series: | Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen Nürnberg. - Erlangen : Univ. Erlangen-Nürnberg, Inst. für Informatik, ISSN 0344-3515. - Vol. 37,1 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Dissertation u.a. Prüfungsschriften |
| Language: | German |
| Thesis: | Zugl.: Erlangen, Nürnberg, Univ., Diss., 2003 |
| Classification: | Informatik: Allgemeines |
| Source: |
Persistent link: https://www.econbiz.de/10004817137