Login / Signup
An operational guide to monitorability with applications to regular properties.
Luca Aceto
Antonis Achilleos
Adrian Francalanza
Anna Ingólfsdóttir
Karoliina Lehtinen
Published in:
Softw. Syst. Model. (2021)
Keyphrases
</>
desirable properties
structural properties
computer vision
decision trees
control system
real time
neural network
machine learning
information systems
three dimensional
bayesian networks