14 citations · 24 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2020
Model-based analysis support for dependable complex systems in CHESS
Felicien Ihirwe, Silvia Mazzini, Pierluigi Pierini +2
The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into acc…
cs.SE2016
Verification of railway interlocking - Compositional approach with OCRA
Christophe Limbree, Quentin Cappart, Charles Pecheur +1
In the railway domain, an electronic interlocking is a computerised system that controls the railway signalling components (e.g. switches or signals) in order to allow a safe opera…