formal methods
Netqi is a model checker for the anticipation game framework.
Downloads
You might also like reading
Formal methods 2008
NetQi A Model checker for Anticipation Game
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and Attacks
Video game 2011
OpenConflict Preventing Real Time Map Hacks in Online Games
Captcha 2010
How Good are Humans at Solving CAPTCHAs A Large Scale Evaluation
Comments
Thanks for downloading!
You may want to share it with your friends
You might also like reading
Formal methods 2008
NetQi A Model checker for Anticipation Game
Formal methods 2008
Extending Anticipation Games with Location Penalty and Timeline
Formal methods 2007
A Logical Framework for Evaluating Network Resilience Against Faults and...
Video game 2011
OpenConflict Preventing Real Time Map Hacks in Online Games