%0 Conference Paper %1 conf/IEEEicci/SarivougioukasV15 %A Sarivougioukas, John C. %A Vagelatos, Aristides Th. %A Lagaris, Isaac E. %B ICCI*CC %D 2015 %E Ge, Ning %E Lu, Jianhua %E Wang, Yingxu %E Howard, Newton %E Chen, Philip %E Tao, Xiaoming %E Zhang, Bo %E Zadeh, Lotfi A. %I IEEE Computer Society %K dblp %P 368-374 %T Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth. %U http://dblp.uni-trier.de/db/conf/IEEEicci/IEEEicci2015.html#SarivougioukasV15 %@ 978-1-4673-7290-9

@inproceedings{conf/IEEEicci/SarivougioukasV15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Sarivougioukas, John C. and Vagelatos, Aristides Th. and Lagaris, Isaac E.}, biburl = {https://www.bibsonomy.org/bibtex/20a7b5d7667cd9f2f4eb6698b2621c655/dblp}, booktitle = {ICCI*CC}, crossref = {conf/IEEEicci/2015}, editor = {Ge, Ning and Lu, Jianhua and Wang, Yingxu and Howard, Newton and Chen, Philip and Tao, Xiaoming and Zhang, Bo and Zadeh, Lotfi A.}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCI-CC.2015.7259412}, interhash = {24906b043f525cc0925817227cc5380a}, intrahash = {0a7b5d7667cd9f2f4eb6698b2621c655}, isbn = {978-1-4673-7290-9}, keywords = {dblp}, pages = {368-374}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T10:18:13.000+0200}, title = {Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth.}, url = {http://dblp.uni-trier.de/db/conf/IEEEicci/IEEEicci2015.html#SarivougioukasV15}, year = 2015 }