Beat Koch - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 8 from 8

2018

Poster Abstract: Less energy, more efficiency in server rooms and data centersBeat Koch, Doris Slezak. ife, 33(1-2):251-252, 2018. [doi]

2001

Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test GenerationDieter Hogrefe, Beat Koch, Helmut Neukirchen. sdl 2001: 168-181 [doi]

Test-purpose-based test generation for distributed test architecturesBeat Koch. PhD thesis, University of Lübeck, Germany, 2001. [doi]

1999

SDL and MSC based test generation for distributed test architecturesJens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe. sdl 1999: 389-404

1998

Autolink - Putting SDL-Based Test Generation Into PracticeMichael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe. pts 1998: 227-244

Autolink: A Tool for Automatic Test Generation from SDL SpecificationsBeat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II. wift 1998: 114 [doi]

1997

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

-Autolink- A Tool for the Automatic and Semi-Automatic Test GenerationMichael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch. fbt 1997: 333-341

Sign in or sign up to see more results.

runs on WebDSL