Optimizing Control Strategy Using Statistical Model Checking

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

doi:10.1007/978-3-642-38088-4_24

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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

27 Citationer (Scopus)

Originalsprog	Engelsk
Titel	NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Vol/bind	7871
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	352-367
ISBN (Trykt)	978-3-642-38087-7
ISBN (Elektronisk)	978-3-642-38088-4
DOI	https://doi.org/10.1007/978-3-642-38088-4_24
Status	Udgivet - 2013
Begivenhed	5th NASA Formal Methods Symposium - Moffett Field, California, USA Varighed: 14 maj 2013 → 16 maj 2013

Konference

Konference	5th NASA Formal Methods Symposium
Land/Område	USA
By	Moffett Field, California
Periode	14/05/2013 → 16/05/2013

Navn	Lecture Notes in Computer Science
Vol/bind	7871
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-642-38088-4_24

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{9c28e310e33846a191d6ec588a726b2d,

title = "Optimizing Control Strategy Using Statistical Model Checking",

author = "Alexandre David and Dehui Du and Larsen, {Kim Guldstrand} and Axel Legay and Marius Mikucionis",

year = "2013",

doi = "10.1007/978-3-642-38088-4_24",

language = "English",

isbn = "978-3-642-38087-7",

volume = "7871",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "352--367",

booktitle = "NASA Formal Methods",

address = "United States",

note = "5th NASA Formal Methods Symposium, NFM 2013 ; Conference date: 14-05-2013 Through 16-05-2013",

}

David, A, Du, D, Larsen, KG, Legay, A & Mikucionis, M 2013, Optimizing Control Strategy Using Statistical Model Checking. i NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. bind 7871, Springer Publishing Company, Lecture Notes in Computer Science, bind 7871, s. 352-367, 5th NASA Formal Methods Symposium, Moffett Field, California, USA, 14/05/2013. https://doi.org/10.1007/978-3-642-38088-4_24

Optimizing Control Strategy Using Statistical Model Checking. / David, Alexandre; Du, Dehui; Larsen, Kim Guldstrand et al.
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Bind 7871 Springer Publishing Company, 2013. s. 352-367 (Lecture Notes in Computer Science, Bind 7871).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Optimizing Control Strategy Using Statistical Model Checking

AU - David, Alexandre

AU - Du, Dehui

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikucionis, Marius

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38088-4_24

DO - 10.1007/978-3-642-38088-4_24

M3 - Article in proceeding

SN - 978-3-642-38087-7

VL - 7871

T3 - Lecture Notes in Computer Science

SP - 352

EP - 367

BT - NASA Formal Methods

PB - Springer Publishing Company

T2 - 5th NASA Formal Methods Symposium

Y2 - 14 May 2013 through 16 May 2013

ER -