Items where Author is "Nejati, Faranak"

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 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

Nejati, Faranak (2019) An approach to support incremental software construction and verification in component-based system development. Doctoral thesis, Universiti Putra Malaysia.