Originalsprog | Engelsk |
---|
Forlag | Aalborg Universitetsforlag |
---|---|
Antal sider | 264 |
ISBN (Elektronisk) | 978-87-7210-349-5 |
Status | Udgivet - 2018 |
Navn | Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet |
---|---|
ISSN | 2446-1628 |
Bibliografisk note
PhD supervisor: Prof. Dr. Radu Mardare, Aalborg UniversityAssistant PhD supervisor: Prof. Kim Guldstrand Larsen, Aalborg University
Emneord
- stokastiske systemer
- semi-Markov-kæder
- simulation
- bisimulation
- logik
- model checking
- realtidssystemer
Citer dette
}
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/rapport › Ph.d.-afhandling › Forskning
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 -