Search Results - Azwarrudin, Muhammad Amsyar

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Verifying the correctness of UML statechart outpatient clinic based on common modeling language and SMV

    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
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Formal verification Unified Modeling Language Statechart using Enhancement Common Modeling Language

    Formal verification Unified Modeling Language Statechart using Enhancement Common Modeling Language by Azwarrudin, Muhammad Amsyar, Abdul Samat, Pathiah, Mohd Ali, Norhayati, Admodisastro, Novia Indriaty

    Published 2025
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: