Quantitative Analysis of Smart Contracts.

Krishnendu Chatterjee Amir Kafshdar Goharshady Yaron Velner

Published in: ESOP (2018)

Keyphrases

quantitative analysis
qualitative analysis
qualitative evaluation
supply chain
qualitative and quantitative analysis
case study
smart environments
moral hazard
meeting room
ubiquitous environments
neural network
genetic algorithm
artificial intelligence
website
smart grid