Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

Jin Hyun Kim; Kim Guldstrand Larsen; Brian Nielsen; Marius Mikučionis; Petur Olsen

doi:10.1007/978-3-319-19458-5_4

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

Jin Hyun Kim, Kim Guldstrand Larsen, Brian Nielsen, Marius Mikučionis, Petur Olsen

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

35 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Redaktører	Manuel Núñez, Matthias Güdemann
Forlag	Springer
Publikationsdato	2015
Sider	47-61
ISBN (Trykt)	978-3-319-19457-8
ISBN (Elektronisk)	978-3-319-19458-5
DOI	https://doi.org/10.1007/978-3-319-19458-5_4
Status	Udgivet - 2015
Begivenhed	International Workshop, FMICS 2015 - Oslo, Norge Varighed: 22 jun. 2015 → 23 jun. 2015 Konferencens nummer: 20th

Konference

Konference	International Workshop, FMICS 2015
Nummer	20th
Land/Område	Norge
By	Oslo
Periode	22/06/2015 → 23/06/2015

Navn	Lecture Notes in Computer Science
Nummer	9128
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-19458-5_4

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Kim, J. H., Larsen, K. G., Nielsen, B., Mikučionis, M., & Olsen, P. (2015). Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. I M. Núñez, & M. Güdemann (red.), Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (s. 47-61). Springer. https://doi.org/10.1007/978-3-319-19458-5_4

Kim, Jin Hyun ; Larsen, Kim Guldstrand ; Nielsen, Brian et al. / Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. red. / Manuel Núñez ; Matthias Güdemann. Springer, 2015. s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

@inproceedings{9cc136882b8045dcb4838522d42cdb35,

title = "Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools",

author = "Kim, {Jin Hyun} and Larsen, {Kim Guldstrand} and Brian Nielsen and Marius Miku{\v c}ionis and Petur Olsen",

year = "2015",

doi = "10.1007/978-3-319-19458-5_4",

language = "English",

isbn = "978-3-319-19457-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "9128",

pages = "47--61",

editor = "Manuel N{\'u}{\~n}ez and Matthias G{\"u}demann",

booktitle = "Formal Methods for Industrial Critical Systems",

address = "Germany",

note = "International Workshop, FMICS 2015 ; Conference date: 22-06-2015 Through 23-06-2015",

}

Kim, JH, Larsen, KG , Nielsen, B , Mikučionis, M & Olsen, P 2015, Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. i M Núñez & M Güdemann (red), Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Springer, Lecture Notes in Computer Science, nr. 9128, s. 47-61, International Workshop, FMICS 2015, Oslo, Norge, 22/06/2015. https://doi.org/10.1007/978-3-319-19458-5_4

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. / Kim, Jin Hyun; Larsen, Kim Guldstrand ; Nielsen, Brian et al.
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. red. / Manuel Núñez; Matthias Güdemann. Springer, 2015. s. 47-61 (Lecture Notes in Computer Science; Nr. 9128).

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

TY - GEN

T1 - Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

AU - Kim, Jin Hyun

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

AU - Mikučionis, Marius

AU - Olsen, Petur

N1 - Conference code: 20th

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-19458-5_4

DO - 10.1007/978-3-319-19458-5_4

M3 - Article in proceeding

SN - 978-3-319-19457-8

T3 - Lecture Notes in Computer Science

SP - 47

EP - 61

BT - Formal Methods for Industrial Critical Systems

A2 - Núñez, Manuel

A2 - Güdemann, Matthias

PB - Springer

T2 - International Workshop, FMICS 2015

Y2 - 22 June 2015 through 23 June 2015

ER -

Kim JH, Larsen KG , Nielsen B , Mikučionis M, Olsen P. Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. I Núñez M, Güdemann M, red., Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. Springer. 2015. s. 47-61. (Lecture Notes in Computer Science; Nr. 9128). doi: 10.1007/978-3-319-19458-5_4