Formal and Model−Based Testing of Concurrent Workflows

Benzer Materyaller

• Formal and Model−Based Testing of Concurrent Workflows
  Yazar:: Wang, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2011)
• A guarded workflow language and its formal semantics
  Yazar:: Wang, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  Yazar:: Wang, C, ve diğerleri
  Baskı/Yayın Bilgisi: (2010)
• A Formal Semantics of UML: The ASM Approach
  Yazar:: Cavarra, A
  Baskı/Yayın Bilgisi: (2000)
• A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
  Yazar:: Cavarra, A, ve diğerleri
  Baskı/Yayın Bilgisi: (2004)