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)