Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian F. J. König, Gerd Meisl, Natalia Balcu, Benjamin Vosseler, Henrik Hörmann, Jos Höll, Victor Fäßler. Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Volume 11246 of Lecture Notes in Computer Science, pages 461-476, Springer, 2018. [doi]

This author has not been identified. Look up 'Christian F. J. König' in GoogleThis author has not been identified. Look up 'Gerd Meisl' in GoogleThis author has not been identified. Look up 'Natalia Balcu' in GoogleThis author has not been identified. Look up 'Benjamin Vosseler' in GoogleThis author has not been identified. Look up 'Henrik Hörmann' in GoogleThis author has not been identified. Look up 'Jos Höll' in GoogleThis author has not been identified. Look up 'Victor Fäßler' in Google

runs on WebDSL