Items where Author is "Abdul Samad, Pathiah"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
Abdul Samad, Pathiah and Mohd Zin, Abdullah
(2012)
Common modeling language for model checkers.
Journal of Computer Science, 8 (1).
pp. 99-106.
ISSN 1549-3636; ESSN: 1552-6607
Abdul Samad, Pathiah and Mohd Zin, Abdullah and Shukur, Zarina
(2011)
Analysis of the model checkers' input languages for modeling traffic light systems.
Journal of Computer Science, 7 (2).
pp. 225-233.
ISSN 1549-3636; ESSN: 1552-6607