Formal and Model−Based Testing of Concurrent Workflows

Bibliographische Detailangaben
Hauptverfasser: Wang, C, Cavarra, A, Davies, J
Format: Conference item
Veröffentlicht: IEEE 2011