Mehmet Aktas
External collaborator
Publications
Simula-affiliated publications listed
2017
Journal Articles
Read Provenance aware run-time verification of things for self-healing Internet of Things applications
M. S. Aktas and M. Astekin
Provenance aware run-time verification of things for self-healing Internet of Things applications
Concurrency and Computation: Practice and Experience