Login / Signup
Towards a Thing-In-the-Loop approach for the Verification and Validation of IoT systems.
Domenico Amalfitano
Nicola Amatucci
Vincenzo De Simone
Vincenzo Riccio
Anna Rita Fasolino
Published in:
SafeThings@SenSys (2017)
Keyphrases
</>
management system
intelligent systems
model checking
formal methods
database
real time
databases
neural network
computer vision
information systems
digital libraries
distributed systems
complex systems
asynchronous circuits