Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.

Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha

Browse the full SMC paper archive.