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