Formal and Model−Based Testing of Concurrent Workflows

Παρόμοια τεκμήρια

• Formal and Model−Based Testing of Concurrent Workflows
  ανά: Wang, C, κ.ά.
  Έκδοση: (2011)
• A guarded workflow language and its formal semantics
  ανά: Wang, C, κ.ά.
  Έκδοση: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  ανά: Wang, C, κ.ά.
  Έκδοση: (2010)
• A Formal Semantics of UML: The ASM Approach
  ανά: Cavarra, A
  Έκδοση: (2000)
• A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
  ανά: Cavarra, A, κ.ά.
  Έκδοση: (2004)