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]

Bibliographies