Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Axel Legay, Zheng Wang

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftCoRR
Vol/bindabs/1106.3961
Antal sider10
StatusUdgivet - 2011

Citationsformater