I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Game-based safety checking with Mage:

, In: Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
Bakewell, Adam ; Ghica, Dan R. - p. 85-87 , 2007
Link: https://dl.acm.org/doi/10.1145/1292316.1292326