Search Results - Abdul Samad, Pathiah

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Analysis of the model checkers' input languages for modeling traffic light systems

    Analysis of the model checkers' input languages for modeling traffic light systems by Abdul Samad, Pathiah, Mohd Zin, Abdullah, Shukur, Zarina

    Published 2011
    Get full text
    Get full text
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Common modeling language for model checkers

    Common modeling language for model checkers by Abdul Samad, Pathiah, Mohd Zin, Abdullah

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

Search Tools: