Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Process Algebra."
Treffer 3 von 58
|
|
| Link zu diesem Datensatz | https://d-nb.info/1304516989 |
| Titel | Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting / Amin Soltanieh |
| Person(en) | Soltanieh, Amin (Verfasser) |
| Organisation(en) | Verlag Dr. Hut (München) (Verlag) |
| Verlag | München : Verlag Dr. Hut |
| Zeitliche Einordnung | Erscheinungsdatum: 2023 |
| Umfang/Format | Online-Ressource, 174 Seiten |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Soltanieh, Amin: Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting |
| Hochschulschrift | Dissertation, Universität der Bundeswehr München, 2022 |
| Persistent Identifier | URN: urn:nbn:de:101:1-2023092923321752458691 |
| URL | http://www.dr.hut-verlag.de/978-3-8439-5332-0.html (Verlag) |
| ISBN/Einband/Preis | 978-3-8439-5332-0 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Informatik |
| Anmerkungen | Vom Verlag als Druckwerk on demand und/oder als E-Book angeboten |
| Schlagwörter | Model Checking* ; Prozessalgebra* ; Temporale Logik* ; Verifikation* ; Petri-Netz* ; Leistungsbewertung* (*maschinell ermittelt) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 3 von 58
Administration
