The updated original online version for this chapter can be found at DOI: 10.1007/978-3-319-48989-6_46
You have full access to this open access chapter, Download conference paper PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Erratum to: Chapter “Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems” in: J. Fitzgerald et al. (Eds.): FM 2016: Formal Methods, LNCS, DOI: 10.1007/978-3-319-48989-6_46
The initially published version of Figure 1a and b is incorrect. This is the correct version.
Our used TA patterns
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Filipovikj, P., Mahmud, N., Marinescu, R., Seceleanu, C., Ljungkrantz, O., Lönn, H. (2017). Erratum to: Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds) FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science(), vol 9995. Springer, Cham. https://doi.org/10.1007/978-3-319-48989-6_51
Download citation
DOI: https://doi.org/10.1007/978-3-319-48989-6_51
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48988-9
Online ISBN: 978-3-319-48989-6
eBook Packages: Computer ScienceComputer Science (R0)