Formal verification Unified Modeling Language Statechart using Enhancement Common Modeling Language

Modern systems are rapidly evolving and increasing in complexity to satisfy growing requirements. Such systems often incorporate multiple hierarchical statecharts within their behavior modeling diagram, which significantly complicates the verification process. To address this challenge, the Common M...

Full description

Bibliographic Details

Main Authors:	Azwarrudin, Muhammad Amsyar, Abdul Samat, Pathiah, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty
Format:	Article
Language:	en
Published:	Science and Information Organization 2025
Subjects:	Computer Science (all)
Online Access:	http://psasir.upm.edu.my/id/eprint/124679/1/124679.pdf http://psasir.upm.edu.my/id/eprint/124679/ http://thesai.org/Publications/ViewPaper?Volume=16&Issue=12&Code=ijacsa&SerialNo=59
Tags:	Add Tag No Tags, Be the first to tag this record!