Login / Signup
A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment.
Flora Amato
Giovanni Cozzolino
Francesco Moscato
Vincenzo Moscato
Fatos Xhafa
Published in:
IEEE Trans. Ind. Informatics (2021)
Keyphrases
</>
experimental data
computational model
simulation model
mathematical model
theoretical analysis
real time
statistical model
context aware
agent model
model checking
process model
supply chain
probability distribution
prior knowledge
expert systems
image sequences
image segmentation
learning algorithm