Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Malika Boudia
Observed name:
Boudia Malika
Institution:
University Mohamed Boudiaf of M'sila
Observed institutions:
University of Biskra,
University Mohamed Boudiaf of M'sila
OpenAlex ID:
A5077543516
Formalization of Ontology Conceptualizations Using Model Transformation
2022
·
Malika Boudia
, Mustapha Bourahla
·
International Journal of Information System Modeling and Design
·
4
PDF
A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude
2017
·
Messaoud Bendiaf
, Mustapha Bourahla
, et al.
·
International Journal of Information Technology and Web Engineering
·
1
Model checking of real-time systems using rewriting logic
2017
·
Messaoud Bendiaf
, Mustapha Bourahla
, et al.
·
International Conference on Electrical and Information Technologies
書き換え論理を用いた実時間システムのモデル検査【Powered by NICT】
2017
·
Bendiaf Messaoud
, Bourahla Mustapha
, et al.
·
IEEE Conference Proceedings
Show more works
View as search
Works count:
4
Citation count:
5
H-index:
1
I10-index:
Year
Topic
Type
