Formal and Model−Based Testing of Concurrent Workflows

Opis bibliograficzny
Główni autorzy: Wang, C, Cavarra, A, Davies, J
Format: Conference item
Wydane: IEEE 2011