Formal and Model−Based Testing of Concurrent Workflows

Detalles Bibliográficos
Autores principales: Wang, C, Cavarra, A, Davies, J
Formato: Conference item
Publicado: IEEE 2011