Formal and Model−Based Testing of Concurrent Workflows

Míreanna comhchosúla

• Formal and Model−Based Testing of Concurrent Workflows
  de réir: Wang, C, et al.
  Foilsithe / Cruthaithe: (2011)
• A guarded workflow language and its formal semantics
  de réir: Wang, C, et al.
  Foilsithe / Cruthaithe: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  de réir: Wang, C, et al.
  Foilsithe / Cruthaithe: (2010)
• A Formal Semantics of UML: The ASM Approach
  de réir: Cavarra, A
  Foilsithe / Cruthaithe: (2000)
• A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
  de réir: Cavarra, A, et al.
  Foilsithe / Cruthaithe: (2004)