Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa. Towards a hybrid formal analysis technique for safety-critical software architectures. IJCCBS, 10(2):95-119, 2021. [doi]
@article{BoucheritCHK21,
title = {Towards a hybrid formal analysis technique for safety-critical software architectures},
author = {Ammar Boucherit and Laura M. Castro and Osman Hasan and Abdallah Khababa},
year = {2021},
doi = {10.1504/IJCCBS.2021.117993},
url = {https://doi.org/10.1504/IJCCBS.2021.117993},
researchr = {https://researchr.org/publication/BoucheritCHK21},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {10},
number = {2},
pages = {95-119},
}