tlooto
Sign up
Formal Methods in VerificationSafety Systems Engineering in AutonomyPetri Nets in System Modeling

Modelling and Formal Verification of Safety-Critical Interactive System Using Capella and Event-B.

Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, R. Benaini

2026.1.1Journal of Object Technology

DOI: 10.5381/jot.2026.25.2.a1

Abstract

Abstract is not available.

Citation format

BOUBA, Khaoula, et al. Modelling and formal verification of safety-critical interactive system using capella and event-b. Journal of Object Technology, 2026, 25(2): 2:7.