Timed concurrent system modeling and verification of home care plan.
Saved in:
| Title: | Timed concurrent system modeling and verification of home care plan. |
|---|---|
| Authors: | Taryana, Acep1,2, acep@unsoed.ac.id, Adzkiya, Dieky1, dieky@its.ac.id, Mufid, Muhammad Syifa'ul1, syifaul.mufid@its.ac.id, Mukhlash, Imam1, imamm@matematika.its.ac.id |
| Source: | International Journal of Electrical & Computer Engineering (2088-8708); Feb2025, Vol. 15 Issue 1, p870-882, 13p |
| Database: | Applied Science & Technology Source |
| ISSN: | 20888708 |
|---|---|
| DOI: | 10.11591/ijece.v15i1.pp870-882 |
