The AADL/S* Approach to Firmware Design Verification.

Werner Damm Gert Döhmen Klaus Merkel Mathilde Sichelschmidt

Published in: IEEE Softw. (1986)

Keyphrases

neural network
design space
formal methods
case study
building blocks
operating system
optimal design
design principles
power consumption
user interface
real time
information systems
design decisions
design tools
artificial intelligence
learning algorithm
machine learning
highly modular