International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience Publishers - linking academia, business and industry through research

International Journal of Critical Computer-Based Systems

Pages	Title and author(s)
95-119	Towards a hybrid formal analysis technique for safety-critical software architectures Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa DOI: 10.1504/IJCCBS.2021.117993
120-142	Towards compositional verification of synchronous reactive systems Sarah Chabane; Rabéa Ameur-Boulifa; Mezghiche Mohamed DOI: 10.1504/IJCCBS.2021.117995
143-183	An SMT-based approach for generating trace examples and counter-examples of parametric properties Salim Chehida; Yves Ledru; Yoann Blein; German Vega DOI: 10.1504/IJCCBS.2021.117997