![]() | ![]() |
1997 | ||
---|---|---|
1 | Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II: Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260 |
1 | Anders Ek | [1] |
2 | Michael Gerz (Michael Schmitt II) | [1] |
3 | Jens Grabowski | [1] |
4 | Dieter Hogrefe | [1] |
5 | Beat Koch | [1] |