Formal and Model−Based Testing of Concurrent Workflows
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2011
|
| _version_ | 1826298195783712768 |
|---|---|
| author | Wang, C Cavarra, A Davies, J |
| author_facet | Wang, C Cavarra, A Davies, J |
| author_sort | Wang, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:43:10Z |
| format | Conference item |
| id | oxford-uuid:d257215c-446c-4080-a922-b6e7b31925cd |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:43:10Z |
| publishDate | 2011 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:d257215c-446c-4080-a922-b6e7b31925cd2022-03-27T08:03:13ZFormal and Model−Based Testing of Concurrent WorkflowsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:d257215c-446c-4080-a922-b6e7b31925cdDepartment of Computer ScienceIEEE2011Wang, CCavarra, ADavies, J |
| spellingShingle | Wang, C Cavarra, A Davies, J Formal and Model−Based Testing of Concurrent Workflows |
| title | Formal and Model−Based Testing of Concurrent Workflows |
| title_full | Formal and Model−Based Testing of Concurrent Workflows |
| title_fullStr | Formal and Model−Based Testing of Concurrent Workflows |
| title_full_unstemmed | Formal and Model−Based Testing of Concurrent Workflows |
| title_short | Formal and Model−Based Testing of Concurrent Workflows |
| title_sort | formal and model based testing of concurrent workflows |
| work_keys_str_mv | AT wangc formalandmodelbasedtestingofconcurrentworkflows AT cavarraa formalandmodelbasedtestingofconcurrentworkflows AT daviesj formalandmodelbasedtestingofconcurrentworkflows |