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]

@article{SarivougioukasV16,
  title = {Prerequisites of Autonomous Software Operations in Home UbiHealth Described Formally with Denotational Mathematics},
  author = {John C. Sarivougioukas and Aristides Th. Vagelatos and Isaac Lagaris},
  year = {2016},
  doi = {10.4018/IJSSCI.2016010102},
  url = {http://dx.doi.org/10.4018/IJSSCI.2016010102},
  researchr = {https://researchr.org/publication/SarivougioukasV16},
  cites = {0},
  citedby = {0},
  journal = {IJSSCI},
  volume = {8},
  number = {1},
  pages = {16-31},
}