Design and Verification of Systems with Exogenous Coordination Using Vereofy

Baier, Christel; Blechmann, Tobias; Klein, Joachim; Klüppelholz, Sascha; Leister, Wolfgang

Publikasjonsdetaljer

Del av: ISoLA'10. Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II (Springer, 2010)

År: 2010

Lenker:
OMTALE: http://dl.acm.org/citation.cfm?id=1939345&picked=prox&cfid=41993759&cftoken=85574604
FULLTEKST: http://www.springerlink.com/content/60v67526382807v6/?CFID=41993759&CFTOKEN=85574604