Correctness of Tendermint-Core Blockchains.

Yackolley Amoussou-Guenou Antonella Del Pozzo Maria Potop-Butucaru Sara Tucci Piergiovanni

Published in: OPODIS (2018)

Keyphrases

email
information retrieval
neural network
decision making
decision trees
high quality
object recognition
management system
object oriented
medical images