Login / Signup
Automated Verification of Measurement Precision for Internet-of-Things Equipment.
Mikkel H. Brynildsen
Maja Milicic Brandt
Johan W. Klüwer
Caitlin Woods
Melinda Hodkiewicz
Published in:
ISWC (Posters/Demos/Industry) (2023)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
high precision
mobile devices
graph theory
precision and recall
probabilistic reasoning
data mining
information systems
high recall
neural network
big data
temporal logic
physical world