Skip to content

Model-based Testing of a Reactive System with Coloured Petri Nets.

Simon Tjell

VenueBGI
Year2006
ProceedingsGI Jahrestagung (2)

Browse the full GI paper archive.