Login / Signup
Preventive Model-based Verification and Repairing for SDN Requests.
Igor B. Burdonov
Alexandre Kossachev
Nina Yevtushenko
Jorge López
Natalia Kushik
Djamal Zeghlache
Published in:
ENASE (2021)
Keyphrases
</>
model checking
formal verification
genetic algorithm
website
multiscale
face verification
verification method
real world
learning algorithm
artificial intelligence
image processing
bayesian networks
temporal logic
process algebra