Eun-Sun Cho, Tae-Seob Yoon, Joong-Hyun Choi, Joon-Young Paik, Sumi Helal. An Integrated Formal Model for Context-Aware Systems. In IEEE 37th Annual Computer Software and Applications Conference, COMPSAC Workshops 2013, Japan, July 22-26, 2013. pages 163-168, IEEE, 2013. [doi]
Abstract is missing.