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