The role of formal reusable frameworks.

Published in: Formal Methods in Software Development (1990)

Keyphrases

formal model
neural network
relational databases
real time
genetic algorithm
high level
face recognition
information technology
data model
special case
formal methods