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

by Abdul Samat, Pathiah, Azwarrudin, Muhammad Amsyar, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty
Published 2021