Login / Signup
Stefan Heymer
Publication Activity (10 Years)
Years Active: 1997-2000
Publications (10 Years): 0
</>
Publications
</>
Stefan Heymer
A Semantics for MSC Based on Petri Net Components.
SAM
(2000)
Stefan Heymer
,
Jens Grabowski
Towards the Generation of Distributed Test Cases Using Petri Nets.
FBT
(1999)
Stefan Heymer
,
Jens Grabowski
Formal Methods and Conformance Testing --or-- What are we testing anyway?
FBT
(1998)
Stefan Heymer
,
Jens Grabowski
Generating Test Cases for Infinite System Specifications.
FBT
(1997)