LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
A Taryana, D Adzkiya, MS Mufid, I Mukhlash, A Abate
Tidak tersedia
Tidak tersedia
0