共 50 条
- [31] Smart energy systems for smart city districts: case study Reininghaus District ENERGY SUSTAINABILITY AND SOCIETY, 2016, 6
- [33] A smart photovoltaic system with Internet of Thing: A case study of the smart agricultural greenhouse 2018 10TH INTERNATIONAL CONFERENCE ON KNOWLEDGE AND SMART TECHNOLOGY (KST 2018) - CYBERNETICS IN THE NEXT DECADES, 2018, : 225 - 230
- [34] Smart energy systems for smart city districts: case study Reininghaus District Energy, Sustainability and Society, 6
- [35] A Design Framework for Smart TV: Case Study of the TaipeiTech Smart TV System 2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS-TAIWAN (ICCE-TW), 2016, : 331 - 332
- [36] Towards Formal Verification of Smart Grid Distributed Intelligence: FREEDM case IECON 2015 - 41ST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2015, : 3974 - 3979
- [39] Design and Verification of an NDN-Based Safety-Critical Application: A Case Study With Smart Healthcare IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (05): : 991 - 1005
- [40] Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications International Journal on Software Tools for Technology Transfer, 2022, 24 : 159 - 181