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)