publication . Preprint . Article . 2018


Danilo Pianini; Guido Salvaneschi;
Open Access English
  • Published: 03 Feb 2018
The 1st workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017), was held in Turin on September 19th, 2017. ALP4IoT was a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017). The workshop aimed at critically reviewing the state-of-the-art and the state-of-the-practice of formal techniques and software methods for the IoT, presenting open problems and challenges and triggering a discussion among the participants with different views and backgrounds. The Internet of Things is ushering a dramatic increase in number and variety of interconnected and smart objects. Communication capabilities and computational...
free text keywords: Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Multiagent Systems, Computer Science - Software Engineering
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue