Login / Signup
Using Abstract State Machines at Microsoft: A Case Study.
Michael Barnett
Egon Börger
Yuri Gurevich
Wolfram Schulte
Margus Veanes
Published in:
Abstract State Machines (2000)
Keyphrases
</>
case study
test bed
databases
information systems
knowledge base
metadata
multimedia
website
decision trees
knowledge management
medical images
database management systems
visual basic
microsoft windows