Democratization of runtime verification for internet of things.

Koray Inçki Ismail Ari

Published in: Comput. Electr. Eng. (2018)

Keyphrases

model checking
mobile devices
face verification
physical world
information retrieval
formal verification
formal analysis
key technologies
concurrent systems
signature verification
formal methods
artificial neural networks
multi agent systems
knowledge base
asynchronous circuits
verification method
e learning