Logic-Based Formalization of System Requirements for Integrated Clinical Environments

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]

Abstract

Abstract is missing.