1. Digital Avatars: Promoting Independent Living for Older Adults. (25th November 2020) Authors: Bertoa, Manuel F.; Moreno, Nathalie; Perez-Vereda, Alejandro; Bandera, David; Álvarez-Palomo, José M.; Canal, Carlos Other Names: Linaje Marino Academic Editor. Journal: Wireless communications and mobile computing Issue: Volume 2020(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Human microservices: A framework for turning humans into service providers. (12th April 2021) Authors: Laso, Sergio; Berrocal, Javier; García‐Alonso, José; Canal, Carlos; Manuel Murillo, Juan Other Names: Ilager Shashikant guestEditor.; Stankovski Vlado guestEditor.; Pallickarar Shrideep guestEditor.; Buyya Rajkumar guestEditor. Journal: Software, practice & experience Issue: Volume 51:Number 9(2021) Page Start: 1910 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015]) Editors: Canal, Carlos; Idani, Akram Other Names: International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th Record Type: Book Extent: 1 online resource (xxvii, 405 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗