Author

Nadia Chabbat

Institution: Badji Mokhtar-Annaba University

Observed institution: Badji Mokhtar-Annaba University

OpenAlex ID: A5064505907

Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model

2020 · Nadia Chabbat, Djamel Eddine Saidouni, et al. · Computing and Informatics · 2

A process - oriented verification and validation for real time embedded systems

2019 · Nadia Chabbat, Salim Ghanemi · Synthese

Works count: 2

Citation count: 2

H-index: 1

I10-index: