NTHRYS › PhD Assistance › Critical Infrastructure Protection

Critical Infrastructure Protection

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Railway Signaling System Security Formal Methods

Application of formal verification and mathematical proof techniques to ensure safety and security of critical railway signaling systems.