Optimizing Control Strategy Using Statistical Model Checking

Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis

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

26 Citationer (Scopus)
OriginalsprogEngelsk
TitelNASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Vol/bind7871
ForlagSpringer Publishing Company
Publikationsdato2013
Sider352-367
ISBN (Trykt)978-3-642-38087-7
ISBN (Elektronisk)978-3-642-38088-4
DOI
StatusUdgivet - 2013
Begivenhed5th NASA Formal Methods Symposium - Moffett Field, California, USA
Varighed: 14 maj 201316 maj 2013

Konference

Konference5th NASA Formal Methods Symposium
LandUSA
ByMoffett Field, California
Periode14/05/201316/05/2013
NavnLecture Notes in Computer Science
Vol/bind7871
ISSN0302-9743

Citationsformater