Formal and Model−Based Testing of Concurrent Workflows

Detalhes bibliográficos
Principais autores: Wang, C, Cavarra, A, Davies, J
Formato: Conference item
Publicado em: IEEE 2011