Formal analysis of pervasive computing systems

• Main Authors: Liu, Y., Zhang, X., Dong, J.S., Sun, J., Biswas, J., Mokhtari, M.
• 其他作者: TEMASEK LABORATORIES
• 格式: Conference or Workshop Item
• 出版: 2013
• 主題: Formal Modeling; Pervasive Computing; System Verification
• 在線閱讀: http://scholarbank.nus.edu.sg/handle/10635/43168

10.1109/ICECCS.2012.19