Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies.
Denis KirillovOleg IakushkinVladimir KorkhovVadim PetruninPublished in: ICCSA (2) (2019)
Keyphrases
- enabling technologies
- software tools
- visualization tools
- distributed systems
- technical issues
- decision support
- emerging technologies
- cooperative
- natural resources
- web technologies
- semantic technologies
- computer aided software engineering
- software packages
- learning systems
- supply chain
- geographically dispersed
- data mining
- innovative ways
- data warehousing and mining
- smart objects
- multi agent
- analytic tools
- collaborative virtual environments
- wireless sensor networks
- location aware
- network services
- digital technologies
- mobile agents
- design tools
- social software