Formal design of a class of computers.

Li-Guo Wang Michael Mendler

Published in: CHARME (1995)

Keyphrases

design process
case study
formal methods
data sets

neural network
data mining
knowledge base

website
data structure
computer aided

user experience
formal model
design decisions