A roadmap to pervasive systems verification.

Savas Konur Michael Fisher

Published in: Knowl. Eng. Rev. (2015)

Keyphrases

management system
image sequences
computer systems
machine learning
information systems
website
video sequences
expert systems
intelligent systems
context aware
model checking
computing environments
formal methods