InhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...
InhaltsangabeImplementation of an Open Source Toolset for CCM Components and Systems Testing.- A ...
InhaltsangabeVerifying MARTE CCSL Mode Behaviors Using UPPAAL.- A Transformation Approach for Mul...
This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretica...