Login / Signup
Bridging the Gap Between Requirements and Simulink Model Analysis.
Anastasia Mavridou
Hamza Bourbouh
Pierre-Loïc Garoche
Dimitra Giannakopoulou
Thomas Pressburger
Johann Schumann
Published in:
REFSQ Workshops (2020)
Keyphrases
</>
formal model
statistical model
probabilistic model
high level
evolutionary algorithm
theoretical framework
computational model
statistical analysis
empirical data
conceptual model
control system
software engineering
management system
experimental data
case study
information retrieval
agent model
database