共 50 条
- [1] An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), 2021, : 17 - 26
- [2] "SMART WATER IN SMART CITY": A CASE STUDY WATER, RESOURCES, FOREST, MARINE AND OCEAN ECOSYSTEMS CONFERENCE PROCEEDINGS, VOL I, 2016, : 851 - +
- [4] Smart streetlights in Smart City: a case study of Sheffield Journal of Ambient Intelligence and Humanized Computing, 2022, 13 : 2045 - 2060
- [5] SMART CARD for SMART CAMPUS KFUPM case study ICECS 2003: PROCEEDINGS OF THE 2003 10TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3, 2003, : 1252 - 1255
- [6] Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control PROCEEDINGS OF THE 26TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES, SACMAT 2021, 2021, : 125 - 130
- [8] Case Study about Smart Integrated Utilities for Smart Cities 2020 IEEE 18TH WORLD SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI 2020), 2020, : 23 - 26
- [9] The Implementation of Smart Mobility for Smart Cities: A Case Study in Qatar CIVIL ENGINEERING JOURNAL-TEHRAN, 2022, 8 (10): : 2154 - 2171
- [10] Legal and smart! An exploratory case study on understandability of smart contracts Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao, 2019,