NoMoz Directory NoMoz Directory
NoMoz Directory

    Top: Computers: Algorithms:

 

Abstract State Machines

  Link Details for: Abstract State Machines
Link Title: Abstract State Machines
Link URL: http://www.eecs.umich.edu/gasm/ Open in a new window
Link Details: A formal method for specifying and verifying algorithms. Tools, meetings, researchers in the area.
Category: Top : Computers : Algorithms
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedDelete this link - No additionsAdd your link and delete this linkAdd a regular link
ScreenShot:
Abstract State Machines