A Formal Model for Stateful and Variant-rich Automotive Functions

Käßmeyer M, Bazan P, Schurius M, German R (2016)

Publication Type: Conference contribution, Original article

Publication year: 2016

Publisher: Institute of Electrical and Electronics Engineers Inc.

Edited Volumes: Proceedings - 2016 IEEE 27th International Symposium on Software Reliability Engineering Workshops, ISSREW 2016

City/Town: Ottawa, Canada

Pages Range: 271-277

Conference Proceedings Title: Formal Verification for Practicing Engineers (FVPE)

Event location: Ottawa, ON CA

ISBN: 9781509036011

DOI: 10.1109/ISSREW.2016.25

Authors with CRIS profile

Michael Käßmeyer Computer Science 7 (Computer Networks and Communication Systems) Peter Bazan Computer Science 7 (Computer Networks and Communication Systems) Reinhard German Computer Science 7 (Computer Networks and Communication Systems)

Related research project(s)

Modeling and Analysis of Complex Systems (MACS) Jan. 1, 2016 - Jan. 1, 2019

Involved external institutions

Audi Electronics Venture GmbH DE Germany (DE)

How to cite

APA:

Käßmeyer, M., Bazan, P., Schurius, M., & German, R. (2016). A Formal Model for Stateful and Variant-rich Automotive Functions. In Formal Verification for Practicing Engineers (FVPE) (pp. 271-277). Ottawa, ON, CA: Ottawa, Canada: Institute of Electrical and Electronics Engineers Inc..

MLA:

Käßmeyer, Michael, et al. "A Formal Model for Stateful and Variant-rich Automotive Functions." Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2016, Ottawa, ON Ottawa, Canada: Institute of Electrical and Electronics Engineers Inc., 2016. 271-277.

BibTeX: Download