External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing simulators for model checking microcontroller binary code

Dominique Gückel, Bastian Schlich, Jörg Brauer, Stefan Kowalewski. Synthesizing simulators for model checking microcontroller binary code. In Elena Gramatová, Zdenek Kotásek, Andreas Steininger, Heinrich Theodor Vierhaus, Horst Zimmermann, editors, 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010, Vienna, Austria, April 14-16, 2010. pages 313-316, IEEE, 2010. [doi]

Authors

Dominique Gückel

This author has not been identified. Look up 'Dominique Gückel' in Google

Bastian Schlich

This author has not been identified. Look up 'Bastian Schlich' in Google

Jörg Brauer

This author has not been identified. Look up 'Jörg Brauer' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google
runs on