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....
Saved in:
| Main Authors: | , , , |
|---|---|
| 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!
|