Login / Signup
Using formal methods for content validation of medical procedure documents.
Érika F. Cota
Leila Ribeiro
Jonas Santos Bezerra
Andrei Costa
Rosiana Estefane da Silva
Gláucia Cota
Published in:
Int. J. Medical Informatics (2017)
Keyphrases
</>
formal methods
textual content
metadata
web documents
document content
formal analysis
knowledge based systems
formal specification
semantic content
multimedia documents
semantic information
information retrieval systems
content and structure
model checking
document collections
safety critical
model checker
relevant content
process algebra
information retrieval
development lifecycle
text documents
electronic documents
provably correct
keywords
medical data
knowledge base
database systems
software engineering
patient records
relevant documents
database
modeling language
knowledge acquisition
open source
knowledge representation
expert systems
free text
case study
artificial intelligence
formal specification language