Towards a Method for Combined Model-based Testing and Analysis.

Brian Nielsen

Browse the full MODELSWARD paper archive.