Detail Artikel Scopus
Timed concurrent system modeling and verification of home care plan
Penulis: Taryana A.
Jurnal: International Journal of Electrical and Computer Engineering
Tanggal Terbit: February 2025
Volume: 15
Halaman: 870-882
DOI: 10.11591/ijece.v15i1.pp870-882
ISSN: 20888708
Jumlah Sitasi: None
Tipe Agregasi: Journal
Kuartil: 2