Login / Signup
Explainability of radiomics through formal methods.
Giulia Varriano
Pasquale Guerriero
Antonella Santone
Francesco Mercaldo
Luca Brunese
Published in:
Comput. Methods Programs Biomed. (2022)
Keyphrases
</>
formal methods
model checking
formal analysis
artificial intelligence
knowledge based systems
safety critical
software engineering
formal specification
provably correct
model checker
temporal properties
development lifecycle
process algebra
reactive systems
modeling language
case study
machine learning
database