Symbolic Encoding of Reliability for the Design of Redundant Architectures.

Antonio Tierno Giuliano Turri Alessandro Cimatti Roberto Passerone

Published in: ICPS (2022)

Keyphrases

building blocks
neural network
information systems
design process
database
social networks
decision making
website
user interface
computer aided
engineering design
optimal design
design methodologies
encoding schemes