Boukelkoul Aissa

Boukelkoul Aissa

Université de Batna 1 - Batna / Algeria
History, Philosophy, Theology / History
AD Scientific Index ID: 5844012
جامعة باتنة University of Batna 1
person_outline Boukelkoul Aissa's MOST POPULAR ARTICLES
1-) On the verification of business processes by model checking techniquesZ Sbaï, A Missaoui, K Barkaoui, RB Ayed2010 2nd International Conference on Software Technology and Engineering 1 …, 2010252010
2-) A new transformation approach for complex systems modelling and simulation: application to industrial control systemN Seddari, S Boukelkoul, A Bouras, M Belaoued, M RedjimiInternational Journal of Simulation and Process Modelling 16 (1), 34-48, 2021132021
3-) Mapping between Petri nets and DEVS modelsS Boukelkoul, M Redjimi2013 3rd International Conference on Information Technology and e-Services …, 2013112013
4-) Using of DEVS and MAS tools for modeling and simulation of an industrial steam generatorN Seddari, M Redjimi, S BoukelkoulJournal of computing and information technology 22 (3), 171-189, 2014102014
5-) Optimal model transformation of BPMN to DEVS.S Boukelkoul, R MaamriAICCSA, 1-8, 201592015