Time for Statistical Model Checking of Real-Time Systems

A. David, Kim Guldstrand Larsen, A. Legay, Marius Mikucionis, Z. Wang

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

85 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6806 LNCS
Sider (fra-til)349-355
Antal sider7
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed23rd International Conference on Computer Aided Verification - Snowbird, UT, USA
Varighed: 14 jul. 201120 jul. 2011
Konferencens nummer: 23

Konference

Konference23rd International Conference on Computer Aided Verification
Nummer23
LandUSA
BySnowbird, UT
Periode14/07/201120/07/2011

Fingerprint

Model checking
Real time systems
Model Checking
Statistical Model
Real-time
User interfaces
Semantics
Engines
User Interface
Correctness
Monitor
Engine
Entire
Estimate
Statistical Models
Model

Bibliografisk note

Proceedings of the 23rd International Conference on Computer Aided Verification. Gopalakrishnan, G. & Qadeer, S. (eds.)

Citer dette

@inproceedings{dc8ad9e50ce54581a53122888209381a,
title = "Time for Statistical Model Checking of Real-Time Systems",
author = "A. David and Larsen, {Kim Guldstrand} and A. Legay and Marius Mikucionis and Z. Wang",
note = "Proceedings of the 23rd International Conference on Computer Aided Verification. Gopalakrishnan, G. & Qadeer, S. (eds.)",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-22110-1_27",
language = "English",
volume = "6806 LNCS",
pages = "349--355",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Time for Statistical Model Checking of Real-Time Systems. / David, A.; Larsen, Kim Guldstrand; Legay, A.; Mikucionis, Marius; Wang, Z.

I: Lecture Notes in Computer Science, Bind 6806 LNCS, 01.01.2011, s. 349-355.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Time for Statistical Model Checking of Real-Time Systems

AU - David, A.

AU - Larsen, Kim Guldstrand

AU - Legay, A.

AU - Mikucionis, Marius

AU - Wang, Z.

N1 - Proceedings of the 23rd International Conference on Computer Aided Verification. Gopalakrishnan, G. & Qadeer, S. (eds.)

PY - 2011/1/1

Y1 - 2011/1/1

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

U2 - 10.1007/978-3-642-22110-1_27

DO - 10.1007/978-3-642-22110-1_27

M3 - Conference article in Journal

AN - SCOPUS:79960376940

VL - 6806 LNCS

SP - 349

EP - 355

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -