Design and Verification of Systems with Exogenous Coordination Using Vereofy

Publication details

• Part of: ISoLA'10. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II (Springer, 2010)
• Links:
  • FULLTEKST: http://www.springerlink.com/content/60v67526382807v6/?CFID=41993759&CFTOKEN=85574604
  • SAMMENDRAG: http://dl.acm.org/citation.cfm?id=1939345&picked=prox&cfid=41993759&cftoken=85574604
  • OMTALE: http://dl.acm.org/citation.cfm?id=1939345&picked=prox&cfid=41993759&cftoken=85574604