Formal and Model−Based Testing of Concurrent Workflows
Päätekijät: | Wang, C, Cavarra, A, Davies, J |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
IEEE
2011
|
Samankaltaisia teoksia
-
Formal and Model−Based Testing of Concurrent Workflows
Tekijä: Wang, C, et al.
Julkaistu: (2011) -
A guarded workflow language and its formal semantics
Tekijä: Wang, C, et al.
Julkaistu: (2010) -
A Guarded Workflow Language and Its Formal Semantics
Tekijä: Wang, C, et al.
Julkaistu: (2010) -
A Formal Semantics of UML: The ASM Approach
Tekijä: Cavarra, A
Julkaistu: (2000) -
A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
Tekijä: Cavarra, A, et al.
Julkaistu: (2004)