Edge-Based Runtime Verification for the Internet of Things.
Christos TsigkanosMarcello M. BersaniPantelis A. FrangoudisSchahram DustdarPublished in: IEEE Trans. Serv. Comput. (2022)
Keyphrases
- physical world
- mobile devices
- key technologies
- formal verification
- face verification
- machine learning
- functional verification
- ubiquitous computing
- model checking
- active contours
- image processing
- information systems
- person identification
- big data
- search algorithm
- image segmentation
- case study
- formal analysis
- asynchronous circuits
- verification method
- databases