Semiformal verification of temporal properties in automotive hardware dependent software

13 years 11 months ago

Djones Lettnin, Pradeep Kumar Nalla, Jörg Beh

DATE 2009 | Hardware |

claim paper

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	DATE
Authors	Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer

Comments (0)