Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Hoang Nga Nguyen

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

Systematic Risk Characterisation of Hardware Threats to Automotive Systems

scientific article published on 26 April 2024

Techniques for modelling and verifying railway interlockings

Towards a threat assessment framework for apps collusion

scientific article published on 07 March 2017

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

Paulina is supported by:

About Paulina

Help