Login / Signup
Formal Tools in Tri-State Design in Busses.
Roger B. Hughes
M. D. Francis
Simon Finn
Gerry Musgrave
Published in:
TPHOLs (1992)
Keyphrases
</>
formal methods
engineering design
building blocks
computer aided
design principles
design tools
knowledge based systems
design decisions
user friendly
design space
optimal design
design methodology
design patterns
real time
software architecture
software systems
expert systems
multi agent
metadata
genetic algorithm