Formal and Model−Based Testing of Concurrent Workflows

ग्रंथसूची विवरण
मुख्य लेखकों: Wang, C, Cavarra, A, Davies, J
स्वरूप: Conference item
प्रकाशित: IEEE 2011