A data−flow approach to test multi−agent ASMs

Slični predmeti

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