Author:
Baouya Abdelhakim,Mohamed Otmane Ait,Ouchani Samir,Bennouar Djamal
Subject
Artificial Intelligence,Computer Science Applications,General Engineering
Reference56 articles.
1. O.M. Group (Ed.) (2012). OMG Systems Modeling Language ( Object Management Group SysML). O.M. Group (Ed.), 2012.
2. Jean-Paul Arcangeli, Raja Boujbel & Sébastien Leriche (2015). Automatic deployment of distributed software systems: Definitions and state of the art. Journal of Systems and Software, 103 (0): 198–218. ISSN 0164–1212.
3. Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed & Samir Ouchani (2015). A quantitative verification framework of sysml activity diagrams under time constraints. Expert Systems with Applications, 42 (21): 7493–7510. ISSN 0957–4174.
4. A formal approach for maintainability and availability assessment using probabilistic model checking;Baouya,2016
5. Abdelhakim Baouya, Otmane Ait Mohamed, Djamal Bennouar & Samir Ouchani (2019). Safety analysis of train control system based on model-driven design methodology. Computers in Industry, 105:1–16. ISSN 0166–3615.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献