Detail Artikel Scopus
LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
Penulis: Taryana A.
Jurnal: Springer Proceedings in Mathematics and Statistics
Tanggal Terbit: 2024
Volume: 455
Halaman: 283-297
DOI: 10.1007/978-981-97-2136-8_21
ISSN: 21941009
Jumlah Sitasi: None
Tipe Agregasi: Book Series
Kuartil: 4