Priced Timed Automata and Statistical Model Checking

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

9 Citationer (Scopus)
OriginalsprogEngelsk
TitelIntegrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Vol/bind7940
ForlagSpringer Publishing Company
Publikationsdato2013
Sider154-161
ISBN (Trykt)978-3-642-38612-1
ISBN (Elektronisk)978-3-642-38613-8
DOI
StatusUdgivet - 2013
Begivenhed10th International Conference on integrated Formal Methods - Turku, Finland
Varighed: 10 jun. 201314 jun. 2013

Konference

Konference10th International Conference on integrated Formal Methods
LandFinland
ByTurku
Periode10/06/201314/06/2013
NavnLecture Notes in Computer Science
Vol/bind7940
ISSN0302-9743

Citationsformater