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

101 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

Bibliografisk note

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

Fingeraftryk Dyk ned i forskningsemnerne om 'Time for Statistical Model Checking of Real-Time Systems'. Sammen danner de et unikt fingeraftryk.

Citationsformater