Items where Author is "Jafaar, Azmi"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Nejati, Faranak and Abd Ghani, Abdul Azim and Ng, Keng Yap and Jafaar, Azmi
(2021)
Handling state space explosion in component-based software verification: a review.
IEEE Access, 9.
77526 - 77544.
ISSN 2169-3536