An approach to support incremental software construction and verification in component-based system development

by Nejati, Faranak
Published 2019

An approach to support incremental software construction and verification in component-based system development

by Nejati, Faranak
Published 2019

PUTRACOM: a concurrent component model with exogenous connectors

by Nejati, Faranak, Abd Ghani, Abdul Azim, Ng, Keng Yap, Jaafar, Azmi
Published 2018

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

PUTRACOM: a formalism of a novel component model

by Nejati, Faranak, Ng, Keng Yap, Abd Ghani, Abdul Azim, Jaafar, Azmi
Published 2020