Search Results - Abdul Samad, Pathiah

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    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
  2. 2
    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

Search Tools: