Formal verification and complexity analysis of confidentiality aware textual clinical documents framework

Tehsin Kanwal, Syed A. Moqurrab, Adeel Anjum, Abid Khan, Joel J.P.C. Rodrigues, Gwanggil Jeon*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Formal verification and complexity analysis of confidentiality aware textual clinical documents framework'. Together they form a unique fingerprint.

Computer Science