Login / Signup
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
Étienne André
Engel Lefaucheux
Didier Lime
Dylan Marinho
Jun Sun
Published in:
TiCSA@ETAPS (2023)
Keyphrases
</>
timed automata
model checking
maximum likelihood
sensitivity analysis
neural network
input parameters
databases
case study
artificial neural networks
probability distribution
software systems
probability density function
parameter values
theorem proving