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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

35 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
EditorsManuel Núñez, Matthias Güdemann
PublisherSpringer
Publication date2015
Pages47-61
ISBN (Print)978-3-319-19457-8
ISBN (Electronic)978-3-319-19458-5
DOIs
Publication statusPublished - 2015
EventInternational Workshop, FMICS 2015 - Oslo, Norway
Duration: 22 Jun 201523 Jun 2015
Conference number: 20th

Conference

ConferenceInternational Workshop, FMICS 2015
Number20th
Country/TerritoryNorway
CityOslo
Period22/06/201523/06/2015
SeriesLecture Notes in Computer Science
Number9128
ISSN0302-9743

Cite this