Scopus Documents # Timed concurrent system modeling and verification of home care plan
Title | Timed concurrent system modeling and verification of home care plan |
---|---|
Quartile | 2 |
Publication Name | International Journal of Electrical and Computer Engineering |
Creator | Taryana A. |
Page | 870-882 |
Issn | 20888708 |
Volume | 15 |
Cover Date | 2025-02-01 |
Cover Display Date | February 2025 |
Doi | 10.11591/ijece.v15i1.pp870-882 |
Citedby Count | (not set) |
Aggregation Type | Journal |
Url | https://www.scopus.com/record/display.uri?eid=2-s2.0-85209893750&origin=resultslist&sort=plf-f |
Author | ACEP TARYANA, M.T |
File | 85209893750.pdf |