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. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1214-1217, IEEE, 2009. [doi]
Abstract is missing.