• A Formal Programming Framework for Digital Avatars 

      Pérez-Vereda, Alejandro; Canal, Carlos; Pimentel, Ernesto (2019-09-05)
      In the current IoT era, the number of smart things to interact with is raising everyday. However, each one of them precises a manual and specific configuration. In a more people-friendly scenario, smart things should adapt ...