Formal and Model−Based Testing of Concurrent Workflows

Detalhes bibliográficos
Main Authors: Wang, C, Cavarra, A, Davies, J
Formato: Conference item
Publicado em: IEEE 2011
Search Result 1