Antonio Coronato, Giuseppe De Pietro. Formal Design of Ambient Intelligence Applications. IEEE Computer, 43(12):60-68, 2010. [doi]
@article{CoronatoP10-2, title = {Formal Design of Ambient Intelligence Applications}, author = {Antonio Coronato and Giuseppe De Pietro}, year = {2010}, doi = {10.1109/MC.2010.335}, url = {http://dx.doi.org/10.1109/MC.2010.335}, tags = {design}, researchr = {https://researchr.org/publication/CoronatoP10-2}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {43}, number = {12}, pages = {60-68}, }