Formal and Model−Based Testing of Concurrent Workflows

Formal and Model−Based Testing of Concurrent Workflows

Show other versions (1)

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

Formal and Model−Based Testing of Concurrent Workflows

Formal and Model−Based Testing of Concurrent Workflows por Wang, C, Cavarra, A, Davies, J

Publicado 2011

Conference item