共 37 条
- [1] Agerholm S., Larsen P., A Lightweight Approach to Formal Methods, Lecture Notes in Computer Science, (1998)
- [2] Agrawal N., Singhal S., Smart drip irrigation system using raspberry pi and arduino, International Conference on Computing, Communication & Automation, pp. 928-932, (2015)
- [3] Ainane N., Ouzzif M., Bouragba K., Health Monitoring System in a Smart Home, Proceedings of the 4th International Conference on Smart City Applications (Casablanca, Morocco) (SCA’19), (2019)
- [4] Alam M.R., Mamun Bin Ibne Reaz, Mohd Alauddin Mohd Ali, A Review of Smart Homes—Past, Present, and Future, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), 42, pp. 1190-1203, (2012)
- [5] Amalfitano D., Amatucci N., De Simone V., Riccio V., Rita F.A., Towards a Thing-In-the-Loop Approach for the Verification and Validation of IoT Systems, Proceedings of the 1st ACM Workshop on the Internet of Safe Things (Delft, Netherlands) (SafeThings’17), pp. 57-63, (2017)
- [6] Ammar N., Chaieb H., Bouallegue R., From modeling with SysML to simulation with Contiki Cooja simulator of wireless sensor networks, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), pp. 760-765, (2016)
- [7] Ardito C., Desolda G., Lanzilotti R., Malizia A., Matera M., Buono P., Piccinno A., User-defined semantics for the design of IoT systems enabling smart interactive experiences, Personal and Ubiquitous Computing, 24, 2020, pp. 781-796, (2020)
- [8] Asici T.Z., Karaduman B., Eslampanah R., Challenger M., Denil J., Vangheluwe H., Applying Model Driven Engineering Techniques to the Development of Contiki-Based IoT Systems, 2019 IEEE/ACM 1st International Workshop on Software Engineering Research Practices for the Internet of Things (SERP4IoT), pp. 25-32, (2019)
- [9] Bowen J., Hinze A., Designing for Inaccessible People and Places, Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV (Lecture Notes in Computer Science, pp. 546-556, (2021)
- [10] Bowen J., Hinze A., Participatory Data Design: Managing Data Sovereignty in IoT Solutions, Interact. Comput., 34, 2, pp. 60-71, (2022)