相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Ethereum Smart Contract Analysis Tools: A Systematic Review
Satpal Singh Kushwaha et al.
IEEE ACCESS (2022)
Ethereum's Smart Contracts Construction and Development using Model Driven Engineering Technologies : a Review
Yassine Ait Hsain et al.
12TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT) / THE 4TH INTERNATIONAL CONFERENCE ON EMERGING DATA AND INDUSTRY 4.0 (EDI40) / AFFILIATED WORKSHOPS (2021)
A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
Bin Hu et al.
PATTERNS (2021)
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
Nicolas Sanchez-Gomez et al.
IEEE ACCESS (2020)
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems
Peter Garamvolgyi et al.
2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W) (2018)
Smart contract applications within blockchain technology: A systematic mapping study
Daniel Macrinici et al.
TELEMATICS AND INFORMATICS (2018)
Systematic review finds that study data not published in full text articles have unclear impact on meta-analyses results in medical research
Christine M. Schmucker et al.
PLOS ONE (2017)