Formal and Model−Based Testing of Concurrent Workflows

Podrobná bibliografie
Hlavní autoři: Wang, C, Cavarra, A, Davies, J
Médium: Conference item
Vydáno: IEEE 2011