Contribute to ramanujds/ust-global-2023 development by creating an account on GitHub.
Annotations were previously supported up until v3.5.0 (inclusive). Annotation support is complete, so if you plan on using them keep using v3.5 of this package. Global variables are set before each ...
Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable
Abstract: An Ethereum smart contract is an agreement reached by multiple parties, which is guaranteed by blockchain technology to be executed in accordance with the terms expressed in the form of code ...
Abstract: Test systems are important tools and benchmark for power system research. Currently, there is a lack of standard test systems for modern transmission expansion planning (TEP) research, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results