Login / Signup
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.
Maurizio Leotta
Diego Clerissi
Luca Franceschini
Dario Olianas
Davide Ancona
Filippo Ricca
Marina Ribaudo
Published in:
ENASE (2019)
Keyphrases
</>
management system
expert systems
databases
case study
face recognition
model checking
real time
real world
computer systems
learning systems
software systems
complex systems
formal methods
symbolic execution
automated verification