Tae-Seob Yoon, Joong-Hyun Choi, Eun-Sun Cho, Sumi Helal. A Formal Modeling for Exceptions in Context-Aware Systems. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 734-739, IEEE, 2014. [doi]
Abstract is missing.