Login / Signup
Malika Boudia
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 2
Top Topics
Process Model
Computational Model
Cooperative
Real Time Systems
Top Venues
Int. J. Inf. Technol. Web Eng.
Int. J. Inf. Syst. Model. Des.
</>
Publications
</>
Malika Boudia
,
Mustapha Bourahla
Formalization of Ontology Conceptualizations Using Model Transformation.
Int. J. Inf. Syst. Model. Des.
13 (1) (2022)
Messaoud Bendiaf
,
Mustapha Bourahla
,
Malika Boudia
,
Seidali Rehab
A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude.
Int. J. Inf. Technol. Web Eng.
12 (4) (2017)