Towards a Runtime Verification Approach for Internet of Things Systems.
Maurizio LeottaDavide AnconaLuca FranceschiniDario OlianasMarina RibaudoFilippo RiccaPublished in: ICWE Workshops (2018)
Keyphrases
- management system
- computer vision
- physical world
- website
- model checking
- complex systems
- expert systems
- mobile devices
- computer systems
- automated verification
- database
- multimodal biometrics
- formal methods
- face verification
- knowledge based systems
- digital libraries
- multi agent
- database systems
- knowledge base
- information systems
- learning algorithm
- information retrieval