Search Results - Nejati, Faranak

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    An approach to support incremental software construction and verification in component-based system development

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

    Published 2019
    Get full text
    Get full text
  2. 2
    PUTRACOM: a concurrent component model with exogenous connectors

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

    Published 2018
    Get full text
    Get full text
  3. 3
    PUTRACOM: a formalism of a novel component model

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

    Published 2020
    Get full text
  4. 4
    Handling state space explosion in component-based software verification: a review

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

    Published 2021
    Get full text
  5. 5
    Conditional max-preserving normalization: an innovative approach to combining diverse classification models

    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

    Published 2024
    Get full text
    Get full text

Search Tools: