UPM Institutional Repository

Items where Author is "Abdul Samad, Pathiah"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

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

This list was generated on Sat Jan 25 15:47:07 2020 UTC.