Login / Signup
Provenance aware run-time verification of things for self-healing Internet of Things applications.
Mehmet S. Aktas
Merve Astekin
Published in:
Concurr. Comput. Pract. Exp. (2019)
Keyphrases
</>
model checking
software systems
mobile devices
physical world
real time
mobile computing
computing systems
formal methods
ubiquitous computing
key technologies
service oriented
formal verification
semantic web services
fine grained
access control
open source
multi agent systems