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

86 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

Fingerprint

Timed Automata
Model checking
Model Checking
Statistical Model
Semantics
Confidence
Statistical Models
Costs
Correctness
Real-time
Estimate

Citer dette

@inproceedings{83d9cc695d184478a21412dcd18ec5e0,
title = "Statistical Model Checking for Networks of Priced Timed Automata",
author = "A. David and Larsen, {Kim Guldstrand} and Marius Mikucionis and D.B. Poulsen and Vliet, {Jonas Van} and A. Legay and Z. Wang",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-24310-3_7",
language = "English",
volume = "6919 LNCS",
pages = "80--96",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Statistical Model Checking for Networks of Priced Timed Automata. / David, A.; Larsen, Kim Guldstrand; Mikucionis, Marius; Poulsen, D.B.; Vliet, Jonas Van; Legay, A.; Wang, Z.

I: Lecture Notes in Computer Science, Bind 6919 LNCS, 01.01.2011, s. 80-96.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Statistical Model Checking for Networks of Priced Timed Automata

AU - David, A.

AU - Larsen, Kim Guldstrand

AU - Mikucionis, Marius

AU - Poulsen, D.B.

AU - Vliet, Jonas Van

AU - Legay, A.

AU - Wang, Z.

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80053337511&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=80053337511&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80053337511&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24310-3_7

DO - 10.1007/978-3-642-24310-3_7

M3 - Conference article in Journal

AN - SCOPUS:80053337511

VL - 6919 LNCS

SP - 80

EP - 96

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -