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]

Authors

John C. Sarivougioukas

This author has not been identified. Look up 'John C. Sarivougioukas' in Google

Aristides Th. Vagelatos

This author has not been identified. Look up 'Aristides Th. Vagelatos' in Google

Isaac Lagaris

This author has not been identified. Look up 'Isaac Lagaris' in Google