A data−flow approach to test multi−agent ASMs

類似資料

• A data-flow approach to test multi-agent ASMs.
  著者:: Cavarra, A
  出版事項: (2011)
• A Formal Semantics of UML: The ASM Approach
  著者:: Cavarra, A
  出版事項: (2000)
• An ASM Semantics for UML Activity Diagrams
  著者:: Börger, E, 等
  出版事項: (2000)
• Specifying and Verifying the Parlay Call−Control Using ASMs
  著者:: Falcarin, P, 等
  出版事項: (2003)
• Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
  著者:: Cavarra, A, 等
  出版事項: (2004)