Design of an aerospace computer for direct HOL execution.

William C. Nielsen

Published in: HLLCA (1973)

Keyphrases

formal methods
genetic algorithm
optimal design
real time
e learning
computer systems
design process
learning algorithm
information systems
user interface
software architecture
user experience