Login / Signup
A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods.
Luca Brunese
Francesco Mercaldo
Alfonso Reginelli
Antonella Santone
Published in:
KES (2019)
Keyphrases
</>
formal methods
healthcare systems
knowledge based systems
model checking
artificial intelligence
formal specification
electronic health records
software engineering
database systems
temporal logic
development lifecycle
database
machine learning
access control