LTL Model Checking for Verification of Electronic Medical Record (EMR) Design

Taryana A, Adzkiya D, Mufid MS, Mukhlash I, Abate A
2024
Chapter
ISSN:
2194-1017
Book Title:
Applied and Computational Mathematics
Volume:
455
,
Springer Nature
,
pp.
283 - 297
No abstract available
Keywords:

4613 Theory Of Computation

,

46 Information and Computing Sciences

,

4612 Software Engineering

DOI
10.1007/978-981-97-2136-8_21