This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 201...
The Epistemology of Validation and Verification Testing.- Passive Testing - A Constrained Invaria...
This book constitutes the refereed proceedings of the 10th International Conference on System Ana...