[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Verification of temporal properties in automotive embedded software
Lettnin, Djones, Nalla, Pradeep K., Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang, Kirsten, Tobias, Schönknecht, Volker, Reitemeyer, StephanYear:
2008
Language:
english
DOI:
10.1145/1403375.1403417
File:
PDF, 234 KB
english, 2008