Login / Signup
Two-Step Deductive Verification of Control Software Using Reflex.
Igor S. Anureev
Natalia Olegovna Garanina
Tatiana V. Liakh
Andrei Rozov
Vladimir Zyubin
Sergei Gorlatch
Published in:
Ershov Informatics Conference (2019)
Keyphrases
</>
control software
post processing
control system
model checking
hidden markov models
object oriented
deductive reasoning
machine learning
preprocessing step