Graph transformations for model-based testing
Mirko Conrad
, Heiko Dörr
, Ingo Stürmer
and Andy Schürr
Abstract
Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded
Full Text: PDF