A data−flow approach to test multi−agent ASMs

Míreanna comhchosúla

• A data-flow approach to test multi-agent ASMs.
  de réir: Cavarra, A
  Foilsithe / Cruthaithe: (2011)
• A Formal Semantics of UML: The ASM Approach
  de réir: Cavarra, A
  Foilsithe / Cruthaithe: (2000)
• An ASM Semantics for UML Activity Diagrams
  de réir: Börger, E, et al.
  Foilsithe / Cruthaithe: (2000)
• Specifying and Verifying the Parlay Call−Control Using ASMs
  de réir: Falcarin, P, et al.
  Foilsithe / Cruthaithe: (2003)
• Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
  de réir: Cavarra, A, et al.
  Foilsithe / Cruthaithe: (2004)