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)