Login / Signup
Gláucia Cota
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Multimedia Documents
Model Checker
Formal Specification Language
Formal Methods
Top Venues
Int. J. Medical Informatics
</>
Publications
</>
Érika F. Cota
,
Leila Ribeiro
,
Jonas Santos Bezerra
,
Andrei Costa
,
Rosiana Estefane da Silva
,
Gláucia Cota
Using formal methods for content validation of medical procedure documents.
Int. J. Medical Informatics
104 (2017)