Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

Sven Sieverding and Christian Ellen and Peter Battram
FESCA
3 / 2013
inproceedings
17-31
MBAT
Combined Model-based Analysis and Testing of Embedded Systems