Stefan Heymer

According to our database, Stefan Heymer authored at least 4 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

A Semantics for MSC Based on Petri Net Components.

Stefan Heymer

Proceedings of the SAM 2000, 2000

1999

Towards the Generation of Distributed Test Cases Using Petri Nets.

Stefan Heymer, Jens Grabowski

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Formal Methods and Conformance Testing --or-- What are we testing anyway?

Stefan Heymer, Jens Grabowski

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Generating Test Cases for Infinite System Specifications.

Stefan Heymer, Jens Grabowski

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997