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

Stefan Heymer

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

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

Coauthor Index

1Jens Grabowski [1] [2] [3] [5]

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