System Design Validation Using Formal Models.

Peter Henderson Robert John Walters

Published in: IEEE International Workshop on Rapid System Prototyping (1999)

Keyphrases

formal models
case study
real time
optimal design
design decisions
computer aided
design process
error rate
human computer interaction
rule based systems
design methodology
design principles
natural language
image sequences
website
e learning
genetic algorithm
neural network
databases