Formal and Model−Based Testing of Concurrent Workflows

Dettagli Bibliografici
Autori principali: Wang, C, Cavarra, A, Davies, J
Natura: Conference item
Pubblicazione: IEEE 2011