Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Towards a hybrid formal analysis technique for safety-critical software architectures
Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa
International Journal of Critical Computer-Based Systems (IJCCBS), 2021 Vol.10 No.2, pp.95 - 119
18 - 7 =

Thank you for your feedback.

Return to top