RiskStructures: A design algebra for risk-aware machines.

Mario Gleirscher Radu Calinescu Jim Woodcock

Published in: Formal Aspects Comput. (2021)

Keyphrases

neural network
building blocks
database
learning environment
design principles
optimal design
genetic algorithm
knowledge base
database systems
data model
query language
knowledge based systems
risk management
relational algebra
design methodology
design space