| 2000 |
|---|
| 5 | | Jens Grabowski,
Stefan Heymer:
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000
Verlag Shaker 2000 |
| 4 | | Stefan Heymer:
A Semantics for MSC Based on Petri Net Components.
SAM 2000: 262- |
| 1999 |
|---|
| 3 | | Stefan Heymer,
Jens Grabowski:
Towards the Generation of Distributed Test Cases Using Petri Nets.
FBT 1999: 93-102 |
| 1998 |
|---|
| 2 | | Stefan Heymer,
Jens Grabowski:
Formal Methods and Conformance Testing --or-- What are we testing anyway?
FBT 1998: 14-25 |
| 1997 |
|---|
| 1 | | Stefan Heymer,
Jens Grabowski:
Generating Test Cases for Infinite System Specifications.
FBT 1997: 221-230 |
