dblp.uni-trier.dewww.uni-trier.de

Beat Koch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
6EEDieter Hogrefe, Beat Koch, Helmut Neukirchen: Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. SDL Forum 2001: 168-181
1999
5 Jens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe: SDL and MSC based test generation for distributed test architectures. SDL Forum 1999: 389-404
1998
4 Michael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe: Autolink - Putting SDL-Based Test Generation Into Practice. IWTCS 1998: 227-244
3EEBeat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II: Autolink: A Tool for Automatic Test Generation from SDL Specifications. WIFT 1998: 114-
1997
2 Michael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch: -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. FBT 1997: 333-341
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

Coauthor Index

1Anders Ek [1] [4]
2Michael Gerz (Michael Schmitt II) [1] [2] [3] [4] [5]
3Jens Grabowski [1] [2] [3] [4] [5]
4Dieter Hogrefe [1] [2] [3] [4] [5] [6]
5Richard Jerome [1]
6Helmut Neukirchen [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)