C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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