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)