Formal and Model−Based Testing of Concurrent Workflows

Bibliografische gegevens
Hoofdauteurs: Wang, C, Cavarra, A, Davies, J
Formaat: Conference item
Gepubliceerd in: IEEE 2011
Search Result 1