Login / Signup
Azmi Bin Jafaar
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Stochastic Domains
Monte Carlo
Object Model
State Space
Top Venues
IEEE Access
</>
Publications
</>
Faranak Nejati
,
Abdul Azim Abdul Ghani
,
Keng-Yap Ng
,
Azmi Bin Jafaar
Handling State Space Explosion in Component-Based Software Verification: A Review.
IEEE Access
9 (2021)
Faranak Nejati
,
Abdul Azim Abdul Ghani
,
Keng-Yap Ng
,
Azmi Bin Jafaar
PUTRACOM: A Concurrent Component Model With Exogenous Connectors.
IEEE Access
6 (2018)