Login / Signup
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments.
Yiling Yang
Yu Huang
Jiannong Cao
Xiaoxing Ma
Jian Lu
Published in:
IEEE Trans. Parallel Distributed Syst. (2013)
Keyphrases
</>
formal specification
model checking
specification languages
pervasive computing environments
object oriented design
formal methods
specification language
concurrent systems
reverse engineering
process algebra
dynamic environments
computing environments