Safety and Line Capacity in Railways – An Approach in Timed CSP

Systematic Risk Characterisation of Hardware Threats to Automotive Systems

artículo científico publicado en 2024

Techniques for modelling and verifying railway interlockings

Towards a threat assessment framework for apps collusion

artículo científico publicado en 2017

Verification of Scheme Plans Using CSP $$||$$ | | B