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)