| Originalsprog | Engelsk |
|---|---|
| Titel | ISoLA 2018 : Leveraging Applications of Formal Methods, Verification and Validation. Verification |
| Redaktører | Tiziana Margaria, Bernhard Steffen |
| Antal sider | 10 |
| Forlag | Springer |
| Publikationsdato | 1 jan. 2018 |
| Sider | 261-270 |
| ISBN (Trykt) | 9783030034207 |
| DOI | |
| Status | Udgivet - 1 jan. 2018 |
| Begivenhed | 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 - Limassol, Cypern Varighed: 5 nov. 2018 → 9 nov. 2018 |
Konference
| Konference | 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 |
|---|---|
| Land | Cypern |
| By | Limassol |
| Periode | 05/11/2018 → 09/11/2018 |
| Navn | Lecture Notes in Computer Science |
|---|---|
| Vol/bind | 11245 LNCS |
| ISSN | 0302-9743 |
Citer dette
Guldstrand Larsen, K., & Legay, A. (2018). Statistical model checking the 2018 edition! I T. Margaria, & B. Steffen (red.), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification (s. 261-270). Springer. Lecture Notes in Computer Science, Bind. 11245 LNCS https://doi.org/10.1007/978-3-030-03421-4_17
@inproceedings{3f42afeb085742a8980870fe4a29cd0d,
title = "Statistical model checking the 2018 edition!",
author = "{Guldstrand Larsen}, Kim and Axel Legay",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-030-03421-4_17",
language = "English",
isbn = "9783030034207",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "261--270",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "ISoLA 2018",
address = "Germany",
}
Guldstrand Larsen, K & Legay, A 2018, Statistical model checking the 2018 edition! i T Margaria & B Steffen (red), ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer, Lecture Notes in Computer Science, bind 11245 LNCS, s. 261-270, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, Limassol, Cypern, 05/11/2018. https://doi.org/10.1007/978-3-030-03421-4_17
Statistical model checking the 2018 edition! / Guldstrand Larsen, Kim; Legay, Axel.
ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. red. / Tiziana Margaria; Bernhard Steffen. Springer, 2018. s. 261-270 (Lecture Notes in Computer Science, Bind 11245 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
TY - GEN
T1 - Statistical model checking the 2018 edition!
AU - Guldstrand Larsen, Kim
AU - Legay, Axel
PY - 2018/1/1
Y1 - 2018/1/1
UR - http://www.scopus.com/inward/record.url?scp=85056481888&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-03421-4_17
DO - 10.1007/978-3-030-03421-4_17
M3 - Article in proceeding
AN - SCOPUS:85056481888
SN - 9783030034207
T3 - Lecture Notes in Computer Science
SP - 261
EP - 270
BT - ISoLA 2018
A2 - Margaria, Tiziana
A2 - Steffen, Bernhard
PB - Springer
ER -
Guldstrand Larsen K, Legay A. Statistical model checking the 2018 edition! I Margaria T, Steffen B, red., ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Springer. 2018. s. 261-270. (Lecture Notes in Computer Science, Bind 11245 LNCS). https://doi.org/10.1007/978-3-030-03421-4_17