Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV

Unified-modelling language (UML) is a standard general purpose modelling language, which is widely, used in system design of banking, biological, plantation and healthcare. Recently, there are many systems of healthcare are modeled using behavioral diagram such as UML statechart for design purposes....

Full description

Saved in:
Bibliographic Details
Main Authors: Abdul Samat, Pathiah, Azwarrudin, Muhammad Amsyar, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty
Format: Article
Published: Universiti Tun Hussein Onn Malaysia 2021
Online Access:http://psasir.upm.edu.my/id/eprint/93541/
https://publisher.uthm.edu.my/ojs/index.php/ijie/article/view/8846
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first