Bringing Runtime Verification Home.

Antoine El-Hokayem Yliès Falcone

Published in: RV (2018)

Keyphrases

model checking
smart home
databases
high security
asynchronous circuits
formal methods
database
multi agent systems
context aware
data structure
database systems
artificial intelligence
formal analysis
signature verification
fingerprint verification
information retrieval
home network
activity monitoring