Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications.

Wed, 01 Jan 1997 00:00:00 +0100

Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt:
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. SDL Forum 1997: 245-260