Articles matching “Capell”

1. Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Redouane Benaini, Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B, pp. 2:7-36, PDF, DOI. Volume 25, no. 2 ( 2026)
2. Amin Oueslati, Philippe Cuenot, Julien Deantoni, Christophe Moreno, System Based Interference Analysis in Capella, pp. 14:1-21, PDF, DOI. Volume 18, no. 2 (July 2019)
3. Donald Firesmith, Peter Capell, Architecture-Related Requirements, pp. 61-73, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)