Login / Signup
Automated Synthesis of Safe Timing Behaviors for Requirements Models Using CCSL.
Ming Hu
Jun Xia
Min Zhang
Xiaohong Chen
Frédéric Mallet
Mingsong Chen
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
</>
prior knowledge
statistical models
neural network
case study
parameter estimation
complex systems
computational models
fully automated
semi automated
design choices
program synthesis