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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Medicine and Dentistry