An integrated framework for verifying multiple care pathways - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Juliana Bowles, Marco B. Caminati, S. Cha. An integrated framework for verifying multiple care pathways. In Frédéric Mallet, Min Zhang 0002, Eric Madelaine, editors, 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017. pages 1-8, IEEE, 2017. [doi]

This author has not been identified. Look up 'Juliana Bowles' in GoogleThis author has not been identified. Look up 'Marco B. Caminati' in GoogleThis author has not been identified. Look up 'S. Cha' in Google

runs on WebDSL