Science Central - All about Science

Wednesday, 19 June, 2013

search

for
Directories
 
 
 
 Recent Listings
  Journal Of Fundamental and Applied Sciences
  Computer Science and Mobile Computing (IJCSMC)
  Birmingham Private Detectives
  The Journal Of Research In Computer Applications and Robotics (IJRCAR)
  FarrWest Environmental Supply, Inc.
  Tactful Management Research Journal (TMRJ)
  e-Library Science Research Journal (LSRJ)
  Review Of Research Journal
  3rd World Congress On Cell Science & Stem Cell Research
  Academic Sports Scholars
 
Category:  Science » Computer Science » Algorithms UPDATE URL | REPORT BROKEN LINK

Abstract State Machines

Popularity:    Hit: 1606 | Visit: 163
Details
Project attempting to bridge the gap between formal models of computation and practical specification methods.

Sponsored Links:


URL: http://www.eecs.umich.edu/gasm
Title: Abstract State Machines
Image:
Description:

Abstract State Machine

Category: Specification - Verification - Formal Methods - Abstract State Machines - Evolving Algebras


Related sites

© 2005-2010 Science Central. All Rights Reserved