Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

59 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider264
ISBN (Elektronisk)978-87-7210-349-5
StatusUdgivet - 2018
NavnPh.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
ISSN2446-1628

Bibliografisk note

PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University
Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University

Emneord

  • stokastiske systemer
  • semi-Markov-kæder
  • simulation
  • bisimulation
  • logik
  • model checking
  • realtidssystemer

Citationsformater