%0 Conference Paper %1 conf/medi/BoubaWOB22 %A Bouba, Khaoula %A Wakrime, Abderrahim Ait %A Ouhammou, Yassine %A Benaini, Rédouane %B MEDI %D 2022 %E Fournier-Viger, Philippe %E Yousef, Ahmed Hassan %E Bellatreche, Ladjel %I Springer %K dblp %P 119-132 %T Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. %U http://dblp.uni-trier.de/db/conf/medi/medi2022.html#BoubaWOB22 %V 13761 %@ 978-3-031-21595-7

@inproceedings{conf/medi/BoubaWOB22, added-at = {2023-03-08T00:00:00.000+0100}, author = {Bouba, Khaoula and Wakrime, Abderrahim Ait and Ouhammou, Yassine and Benaini, Rédouane}, biburl = {https://www.bibsonomy.org/bibtex/2aa69301aeebd319fa5f5687f5a93f868/dblp}, booktitle = {MEDI}, crossref = {conf/medi/2022}, editor = {Fournier-Viger, Philippe and Yousef, Ahmed Hassan and Bellatreche, Ladjel}, ee = {https://doi.org/10.1007/978-3-031-21595-7_9}, interhash = {3b741b9db611f4208c6851374900d5a3}, intrahash = {aa69301aeebd319fa5f5687f5a93f868}, isbn = {978-3-031-21595-7}, keywords = {dblp}, pages = {119-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:01:57.000+0200}, title = {Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems.}, url = {http://dblp.uni-trier.de/db/conf/medi/medi2022.html#BoubaWOB22}, volume = 13761, year = 2022 }