Automatic verification of application-tailored OSEK kernels (bibtex)

by Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius and Lutz Schröder

Reference:

Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius and Lutz Schröder: Automatic verification of application-tailored OSEK kernels, In Daryl Stewart, Georg Weissenbacher, eds.: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 196–203, IEEE, 2017.

Bibtex Entry:

@inproceedings{DeifelEA17,
  author    = {Hans{-}Peter Deifel and
               Christian Dietrich and
               Merlin G\"ottlinger and
	       Daniel Lohmann and 
               Stefan Milius and
               Lutz Schr{\"{o}}der},
  title     = {Automatic verification of application-tailored {OSEK} kernels},
  booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
               Austria, October 2-6, 2017},
  pages     = {196--203},
  year      = {2017},
  editor    = {Daryl Stewart and
               Georg Weissenbacher},
  publisher = {{IEEE}},
  url       = {https://doi.org/10.23919/FMCAD.2017.8102260},
  doi       = {10.23919/FMCAD.2017.8102260},
  timestamp = {Fri, 17 Nov 2017 10:16:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/DeifelGMS0L17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}