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

Mathias Ruggaard Pedersen

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

10 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

Citer dette

Pedersen, M. R. (2018). Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet
Pedersen, Mathias Ruggaard. / Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag, 2018. 264 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).
@phdthesis{fd83309159bc4f4eb861b264f2d6dffc,
title = "Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects",
keywords = "stokastiske systemer, semi-Markov-k{\ae}der, simulation, bisimulation, logik, model checking, realtidssystemer",
author = "Pedersen, {Mathias Ruggaard}",
note = "PhD supervisor: Prof. Dr. Radu Mardare, Aalborg University Assistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University",
year = "2018",
language = "English",
series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",

}

Pedersen, MR 2018, Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet, Aalborg Universitetsforlag.

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. / Pedersen, Mathias Ruggaard.

Aalborg Universitetsforlag, 2018. 264 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

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

TY - BOOK

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

AU - Pedersen, Mathias Ruggaard

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

PY - 2018

Y1 - 2018

KW - stokastiske systemer

KW - semi-Markov-kæder

KW - simulation

KW - bisimulation

KW - logik

KW - model checking

KW - realtidssystemer

M3 - Ph.D. thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

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

PB - Aalborg Universitetsforlag

ER -

Pedersen MR. Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. Aalborg Universitetsforlag, 2018. 264 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).