Sciweavers

Share
DATE
2009
IEEE

Semiformal verification of temporal properties in automotive hardware dependent software

9 years 5 months ago
Semiformal verification of temporal properties in automotive hardware dependent software
Djones Lettnin, Pradeep Kumar Nalla, Jörg Beh
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)
books