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

Citationsformater