Machine Abstraction in Microprocessor Specification.

Michael McAllister

Published in: TPHOLs (1992)

Keyphrases

high level
flowshop
high speed
formal specification
design methodology
neural network
batch processing
data abstraction
state transition
formal methods
decision theoretic planning
physical design
specification language
learning objects
low level
relational databases
website
genetic algorithm