Statistical Model Checking for Networks of Priced Timed Automata

A. David, Kim Guldstrand Larsen, Marius Mikucionis, D.B. Poulsen, Jonas Van Vliet, A. Legay, Z. Wang

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

94 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6919 LNCS
Sider (fra-til)80-96
Antal sider17
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed9th International Conference on Formal Modeling and Analysis of Timed Systems - Aalborg , Danmark
Varighed: 21 sep. 201123 sep. 2011

Konference

Konference9th International Conference on Formal Modeling and Analysis of Timed Systems
LandDanmark
ByAalborg
Periode21/09/201123/09/2011

Fingeraftryk Dyk ned i forskningsemnerne om 'Statistical Model Checking for Networks of Priced Timed Automata'. Sammen danner de et unikt fingeraftryk.

Citationsformater