Prerequisites of Autonomous Software Operations in Home UbiHealth Described Formally with Denotational Mathematics

John C. Sarivougioukas, Aristides Th. Vagelatos, Isaac Lagaris. Prerequisites of Autonomous Software Operations in Home UbiHealth Described Formally with Denotational Mathematics. IJSSCI, 8(1):16-31, 2016. [doi]

Abstract

Abstract is missing.