Ashalatha Kunnappilly. A formally assured intelligent ecosystem for enhanced ambient assisted living support. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1581-1582, ACM, 2018. [doi]
Abstract is missing.