![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schonknecht, Stephan Reitemeyer: Verification of Temporal Properties in Automotive Embedded Software. DATE 2008: 164-169 |
1 | Thomas Kropf | [1] |
2 | Djones Lettnin | [1] |
3 | Pradeep Kumar Nalla | [1] |
4 | Stephan Reitemeyer | [1] |
5 | Wolfgang Rosenstiel | [1] |
6 | Jürgen Ruf | [1] |
7 | Volker Schonknecht | [1] |