An Incremental Optimization Algorithm for Efficient Verification of Graph Transformation Systems von Nejati, Faranak, Hamid, Nor Asilah Wati Abdul, Koohi, Sina Zangbari, Zadeh, Zahra Rahmani

Volltext

Handling State Space Explosion in Component-Based Software Verification: A Review von Nejati, Faranak, Ghani, Abdul Azim Abd, Yap, Ng Keng, Jafaar, Azmi Bin

Volltext

PUTRACOM: A Concurrent Component Model With Exogenous Connectors von Nejati, Faranak, Ghani, Abdul Azim Abd, Keng Yap, Ng, Jafaar, Azmi Bin

Volltext

The effects of Intracerebellumal Injection of Estrogen on Anxiety-like Behavior and Parameters of Antioxidant System following Ethidium Bromide Injection in rat von faranak nejati, shiva khezri, homeira hatami, ali reza ali hemmati

Volltext

A Formalism for Checking Consistency of Component-Based Real-Time Systems von Nejati, Faranak, Zangbari, Sina, Karimpour, Jaber

Volltext

Data Extraction Form von Najafabadi, Amin Arab, Yap, Ng Keng, Ghani, Abdul Azim Abd, Abu Bakar Md. Sultan, Ashani, Zahra Nazemi, Nejati, Faranak, Ali, Mohamed Abdullahi

Volltext bestellen

Myocarditis Following COVID-19 Vaccination: Cardiac Imaging Findings in 118 Studies von Keshavarz, Pedram, Yazdanpanah, Fereshteh, Emad, Maryam, Hajati, Azadeh, Nejati, Seyed Faraz, Ebrahimian Sadabad, Faranak, Azrumelashvili, Tamta, Mizandari, Malkhaz, Raman, Steven S

Volltext