Bibtex

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B

@article{JOT:issue_2026_02/a1, author = {<a href="/contents.html?query=Bouba">Khaoula Bouba</a> and <a href="/contents.html?query=Ait Wakrime">Abderrahim Ait Wakrime</a> and <a href="/contents.html?query=Ouhammou">Yassine Ouhammou</a> and <a href="/contents.html?query=Benaini">Redouane Benaini</a>}, title = {Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B}, journal = {Journal of Object Technology}, volume = {25}, number = {2}, issn = {1660-1769}, year = {2026}, month = february, editor = {}, note = {OPEN REGULAR ISSUE}, pages = {2:7-36}, doi = {10.5381/jot.2026.25.2.a1}, url = {http://www.jot.fm/contents/issue_2026_02/a1.html} }

Back