Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth

John C. Sarivougioukas, Aristides Th. Vagelatos, Isaac Lagaris. Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth. In Ning Ge, Jianhua Lu, Yingxu Wang, Newton Howard, Philip Chen, Xiaoming Tao, Bo Zhang, Lotfi A. Zadeh, editors, 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015. pages 368-374, IEEE, 2015. [doi]

@inproceedings{SarivougioukasV15,
  title = {Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth},
  author = {John C. Sarivougioukas and Aristides Th. Vagelatos and Isaac Lagaris},
  year = {2015},
  doi = {10.1109/ICCI-CC.2015.7259412},
  url = {http://dx.doi.org/10.1109/ICCI-CC.2015.7259412},
  researchr = {https://researchr.org/publication/SarivougioukasV15},
  cites = {0},
  citedby = {0},
  pages = {368-374},
  booktitle = {14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2015, Beijing, China, July 6-8, 2015},
  editor = {Ning Ge and Jianhua Lu and Yingxu Wang and Newton Howard and Philip Chen and Xiaoming Tao and Bo Zhang and Lotfi A. Zadeh},
  publisher = {IEEE},
  isbn = {978-1-4673-7290-9},
}