Stephan Reitemeyer

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
Semiformal verification of temporal properties in automotive hardware dependent software. DATE (2009)
Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer
Verification of Temporal Properties in Automotive Embedded Software. DATE (2008)