Search Results - Nejati, Faranak

Handling state space explosion in component-based software verification: a review by Nejati, Faranak, Abd Ghani, Abdul Azim, Ng, Keng Yap, Jafaar, Azmi

Get full text
Get full text

Adjusted exponential scaling: an innovative approach for combining diverse multiclass classifications by Najafabadi, Amin Arab, Yap, Ng Keng, Ashani, Zahra Nazemi, Nejati, Faranak, Ali, Mohamed Abdullahi

Get full text
Get full text
Get full text

PUTRACOM: a concurrent component model with exogenous connectors by Nejati, Faranak, Abd Ghani, Abdul Azim, Ng, Keng Yap, Jaafar, Azmi

Get full text
Get full text
Get full text

PUTRACOM: a formalism of a novel component model by Nejati, Faranak, Ng, Keng Yap, Abd Ghani, Abdul Azim, Jaafar, Azmi

Get full text
Get full text

Conditional max-preserving normalization: an innovative approach to combining diverse classification models by Najafabadi, Amin Arab, Nejati, Faranak, Yap, Ng Keng, Md. Sultan, Abu Bakar, Ali, Mohamed Abdullahi, Ashani, Zahra Nazemi

Get full text
Get full text
Get full text

An approach to support incremental software construction and verification in component-based system development by Nejati, Faranak

Get full text
Get full text