![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock: Modeling Property Based Stream Templates with TTCN-3. TestCom/FATES 2008: 70-85 |
2002 | ||
1 | Hans-Werner Wiesbrock, Heiko Dörr, Hans Jürgen Holberg: Model Checking im Automativbereich. GI Jahrestagung 2002: 819-823 |
1 | Heiko Dörr | [1] |
2 | Jürgen Großmann | [2] |
3 | Hans Jürgen Holberg | [1] |
4 | Ina Schieferdecker | [2] |