Statistical model checking of dynamic networks of stochastic hybrid automata

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

OriginalsprogEngelsk
TidsskriftElectronic Communications of the EASST
Vol/bind66
Antal sider15
ISSN1863-2122
DOI
StatusUdgivet - 2014
Begivenhed13th International Workshop on Automated Verification of Critical Systems - Guildford, Surrey, Storbritannien
Varighed: 11 sep. 201313 sep. 2013

Konference

Konference13th International Workshop on Automated Verification of Critical Systems
LandStorbritannien
ByGuildford, Surrey
Periode11/09/201313/09/2013

Citer dette

@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",

}

Statistical model checking of dynamic networks of stochastic hybrid automata. / David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Poulsen, Danny Bøgsted.

I: Electronic Communications of the EASST, Bind 66, 2014.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

VL - 66

JO - Electronic Communications of the EASST

JF - Electronic Communications of the EASST

SN - 1863-2122

ER -