Checking and Distributing Statistical Model Checking

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen

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

27 Citationer (Scopus)
OriginalsprogEngelsk
TitelNASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
RedaktørerAlwyn E. Goodloe, Suzette Person
Antal sider15
Vol/bind7226
ForlagSpringer
Publikationsdato3 apr. 2012
Sider449-463
ISBN (Trykt)978-3-642-28890-6
ISBN (Elektronisk)978-3-642-28891-3
DOI
StatusUdgivet - 3 apr. 2012
BegivenhedNASA Formal Methods - Norfolk, VA, USA
Varighed: 3 apr. 20125 apr. 2012
Konferencens nummer: 4

Konference

KonferenceNASA Formal Methods
Nummer4
LandUSA
ByNorfolk, VA
Periode03/04/201205/04/2012
NavnLecture Notes in Computer Science
Vol/bind7226
ISSN0302-8743

Citationsformater