Automatic verification of application-tailored OSEK kernels

Conference contribution
(Original article)


Publication Details

Author(s): Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D
Publisher: IEEE
Publication year: 2017
Conference Proceedings Title: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017
Pages range: 196--203
Language: English


FAU Authors / FAU Editors

Deifel, Hans-Peter
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Göttlinger, Merlin
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Milius, Stefan apl. Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Schröder, Lutz Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


External institutions
Gottfried Wilhelm Leibniz Universität Hannover


How to cite

APA:
Deifel, H.-P., Göttlinger, M., Milius, S., Schröder, L., Dietrich, C., & Lohmann, D. (2017). Automatic verification of application-tailored OSEK kernels. In 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 (pp. 196--203). IEEE.

MLA:
Deifel, Hans-Peter, et al. "Automatic verification of application-tailored OSEK kernels." Proceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 IEEE, 2017. 196--203.

BibTeX: 

Last updated on 2018-01-12 at 13:50