Checking and Distributing Statistical Model Checking

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

doi:10.1007/978-3-642-28891-3_39

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

29 Citationer (Scopus)

Originalsprog	Engelsk
Titel	NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Redaktører	Alwyn E. Goodloe, Suzette Person
Antal sider	15
Vol/bind	7226
Forlag	Springer
Publikationsdato	3 apr. 2012
Sider	449-463
ISBN (Trykt)	978-3-642-28890-6
ISBN (Elektronisk)	978-3-642-28891-3
DOI	https://doi.org/10.1007/978-3-642-28891-3_39
Status	Udgivet - 3 apr. 2012
Begivenhed	NASA Formal Methods - Norfolk, VA, USA Varighed: 3 apr. 2012 → 5 apr. 2012 Konferencens nummer: 4

Konference

Konference	NASA Formal Methods
Nummer	4
Land/Område	USA
By	Norfolk, VA
Periode	03/04/2012 → 05/04/2012

Navn	Lecture Notes in Computer Science
Vol/bind	7226
ISSN	0302-8743

Adgang til dokumentet

10.1007/978-3-642-28891-3_39

http://link.springer.com/chapter/10.1007%2F978-3-642-28891-3_39

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M., & Poulsen, D. B. (2012). Checking and Distributing Statistical Model Checking. I A. E. Goodloe, & S. Person (red.), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings (Bind 7226, s. 449-463). Springer. https://doi.org/10.1007/978-3-642-28891-3_39

@inproceedings{63503c8436434723926a4afee28ff6e2,

title = "Checking and Distributing Statistical Model Checking",

keywords = "statistical model checking, Distributed computing",

author = "Bulychev, {Peter E.} and Alexandre David and Larsen, {Kim Guldstrand} and Axel Legay and Marius Miku{\v c}ionis and Poulsen, {Danny B{\o}gsted}",

year = "2012",

month = apr,

day = "3",

doi = "10.1007/978-3-642-28891-3_39",

language = "English",

isbn = "978-3-642-28890-6",

volume = "7226",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "449--463",

editor = "Goodloe, {Alwyn E.} and Suzette Person",

booktitle = "NASA Formal Methods",

address = "Germany",

note = "NASA Formal Methods, NFM 2012 ; Conference date: 03-04-2012 Through 05-04-2012",

}

Bulychev, PE, David, A, Larsen, KG, Legay, A, Mikučionis, M & Poulsen, DB 2012, Checking and Distributing Statistical Model Checking. i AE Goodloe & S Person (red), NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. bind 7226, Springer, Lecture Notes in Computer Science, bind 7226, s. 449-463, NASA Formal Methods, Norfolk, VA, USA, 03/04/2012. https://doi.org/10.1007/978-3-642-28891-3_39

Checking and Distributing Statistical Model Checking. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand et al.
NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. red. / Alwyn E. Goodloe; Suzette Person. Bind 7226 Springer, 2012. s. 449-463 (Lecture Notes in Computer Science, Bind 7226).

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

TY - GEN

T1 - Checking and Distributing Statistical Model Checking

AU - Bulychev, Peter E.

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Mikučionis, Marius

AU - Poulsen, Danny Bøgsted

N1 - Conference code: 4

PY - 2012/4/3

Y1 - 2012/4/3

KW - statistical model checking

KW - Distributed computing

UR - http://www.scopus.com/inward/record.url?scp=84859454659&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-28891-3_39

DO - 10.1007/978-3-642-28891-3_39

M3 - Article in proceeding

SN - 978-3-642-28890-6

VL - 7226

T3 - Lecture Notes in Computer Science

SP - 449

EP - 463

BT - NASA Formal Methods

A2 - Goodloe, Alwyn E.

A2 - Person, Suzette

PB - Springer

T2 - NASA Formal Methods

Y2 - 3 April 2012 through 5 April 2012

ER -

Bulychev PE, David A, Larsen KG, Legay A, Mikučionis M , Poulsen DB. Checking and Distributing Statistical Model Checking. I Goodloe AE, Person S, red., NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Bind 7226. Springer. 2012. s. 449-463. (Lecture Notes in Computer Science, Bind 7226). doi: 10.1007/978-3-642-28891-3_39