Formal and Model−Based Testing of Concurrent Workflows

Formal and Model−Based Testing of Concurrent Workflows

Show other versions (1)

書目詳細資料
Main Authors:	Wang, C, Cavarra, A, Davies, J
格式:	Conference item
出版:	IEEE 2011

Formal and Model−Based Testing of Concurrent Workflows

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

出版 2011

Conference item