Google Documents : LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
| Title | LTL Model Checking for Verification of Electronic Medical Record (EMR) Design |
|---|---|
| Abstract | |
| Authors | A Taryana, D Adzkiya, MS Mufid, I Mukhlash, A Abate |
| Journal Name | International Conference on Mathematics: Pure, Applied and Computation, 283-297, 2023 |
| Publish Year | 2023 |
| Citation | (not set) |
| Url | https://scholar.google.com/scholar?q=+intitle:"LTL Model Checking for Verification of Electronic Medical Record (EMR) Design" |
| Author | ACEP TARYANA, M.T |
| File | 8490001.pdf |