BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract).

Alexandre Donzé

Published in: ASD@DATE (2020)

Keyphrases

extended abstract
functional requirements
design principles
design decisions
design process
design criteria
optimal design
computer aided
formal model
user interface
engineering design
case study
industrial applications
artificial intelligence
design methodology
learning algorithm
machine learning
data sets