Design and Verification of Systems with Exogenous Coordination Using Vereofy Christel Baier Tobias Blechmann Joachim Klein Sascha Klüppelholz Wolfgang Leister 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) 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 Wolfgang Leister Forskningssjef DART Du er her: Hjem Publikasjoner Vitenskapelig Kapittel/Artikkel/Konferanseartikkel Design and Verification of Systems with Exogenous Coordination Using Vereofy
