Formal and Model−Based Testing of Concurrent Workflows
Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies
Book Title
Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011
Editor
Manuel Núñez and Robert M. Hierons and Mercedes G. Merayo
Pages
252−259
Publisher
IEEE Computer Society
Year
2011