Triston S. Attridge

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses(More)
  • 1