Formal and Model−Based Testing of Concurrent Workflows

Manylion Llyfryddiaeth
Prif Awduron: Wang, C, Cavarra, A, Davies, J
Fformat: Conference item
Cyhoeddwyd: IEEE 2011