Renan Pereira de Figueiredo

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Hard And Soft Constraints

Constraint Programming

Automated Verification

Top Venues

IEEE J. Biomed. Health Informatics

Publications

Renan Pereira de Figueiredo, João Bosco Ferreira Filho, Flávio R. C. Sousa, Philip Weber, Ian Litchfield
Automated Verification of Care Pathways Using Constraint Programming. IEEE J. Biomed. Health Informatics 24 (9) (2020)