Logic-Based Formalization of System Requirements for Integrated Clinical Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci. Logic-Based Formalization of System Requirements for Integrated Clinical Environments. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 215-242, Springer, 2019. [doi]

This author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Andrea Domenici' in GoogleThis author has not been identified. Look up 'Paolo Masci' in Google

runs on WebDSL