Statistical model checking of dynamic networks of stochastic hybrid automata

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Electronic Communications of the EASST
Volume	66
Number of pages	15
ISSN	1863-2122
DOIs	https://doi.org/10.14279/tuj.eceasst.66.893
Publication status	Published - 2014
Event	13th International Workshop on Automated Verification of Critical Systems - Guildford, Surrey, United Kingdom Duration: 11 Sept 2013 → 13 Sept 2013

Conference	13th International Workshop on Automated Verification of Critical Systems
Country/Territory	United Kingdom
City	Guildford, Surrey
Period	11/09/2013 → 13/09/2013

Access to Document

@inproceedings{a7e5bf04de254e55a279c4f64e6fec4f,

title = "Statistical model checking of dynamic networks of stochastic hybrid automata",

author = "Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",

year = "2014",

doi = "10.14279/tuj.eceasst.66.893",

language = "English",

volume = "66",

journal = "Electronic Communications of the EASST",

issn = "1863-2122",

publisher = "European Association of Software Science and Technology",

note = "13th International Workshop on Automated Verification of Critical Systems, AVoCS 2013 ; Conference date: 11-09-2013 Through 13-09-2013",

}

TY - GEN

T1 - Statistical model checking of dynamic networks of stochastic hybrid automata

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Poulsen, Danny Bøgsted

PY - 2014

Y1 - 2014

U2 - 10.14279/tuj.eceasst.66.893

DO - 10.14279/tuj.eceasst.66.893

M3 - Conference article in Journal

SN - 1863-2122

VL - 66

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

T2 - 13th International Workshop on Automated Verification of Critical Systems

Y2 - 11 September 2013 through 13 September 2013

ER -