Edge-Based Runtime Verification for the Internet of Things.

Christos Tsigkanos Marcello M. Bersani Pantelis A. Frangoudis Schahram Dustdar

Published in: SERVICES (2021)

Keyphrases

model checking
mobile devices
active contours
key technologies
formal verification
physical world
verification method
everyday life
learning algorithm
ubiquitous computing
functional verification
database
asynchronous circuits
signature verification
mobile computing
big data
supply chain
real world