Automated Verification of Care Pathways Using Constraint Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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 Transactions on Information Technology in Biomedicine, 24(9):2718-2725, 2020. [doi]

This author has not been identified. Look up 'Renan Pereira de Figueiredo' in GoogleThis author has not been identified. Look up 'João Bosco Ferreira Filho' in GoogleThis author has not been identified. Look up 'Flávio R. C. Sousa' in GoogleThis author has not been identified. Look up 'Philip Weber' in GoogleThis author has not been identified. Look up 'Ian Litchfield' in Google

runs on WebDSL