Formal and Model−Based Testing of Concurrent Workflows

Bibliografiska uppgifter
Huvudupphovsmän: Wang, C, Cavarra, A, Davies, J
Materialtyp: Conference item
Publicerad: IEEE 2011