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