> Detailanzeige

Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn]

Quantitative and structural analysis of real-time and probabilistic systems

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Book; Hochschulschrift
  • Titel: Quantitative and structural analysis of real-time and probabilistic systems
  • Weitere Titel: Quantitative und strukturelle Analyse von Realzeit- und probabilistischen Systemen
  • Beteiligte: Swaminathan, Mani [Verfasser]; Fränzle, Martin [Akademischer Betreuer]; Katoen, Joost-Pieter [Akademischer Betreuer]
  • Erschienen: Oldenburg: BIS der Universität Oldenburg, 2016
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Timed Automata, Perturbations, Prices, Probabilities, Parallelism ; Hochschulschrift
  • Entstehung:
  • Hochschulschrift: Dissertation, Oldenburg, Universität Oldenburg, 2015
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang