Items where Author is "Nejati, Faranak"
![]() | Up a level |
Group by: Item Type | No Grouping
Number of items: 4.
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
Nejati, Faranak and Ng, Keng Yap and Abd Ghani, Abdul Azim and Jaafar, Azmi
(2020)
PUTRACOM: a formalism of a novel component model.
International Journal on Advanced Science, Engineering and Information Technology, 10 (4).
1444 - 1449.
ISSN 2088-5334; ESSN: 2460-6952
Nejati, Faranak
(2019)
An approach to support incremental software construction and verification in component-based system development.
Doctoral thesis, Universiti Putra Malaysia.
Nejati, Faranak and Abd Ghani, Abdul Azim and Ng, Keng Yap and Jaafar, Azmi
(2018)
PUTRACOM: a concurrent component model with exogenous connectors.
IEEE Access, 6.
15446 - 15456.
ISSN ESSN: 2169-3536