IET Bristol presents:
Formal Verification of Railway Signalling - from Academia to Industry More Events
Speaker:
Dominic Taylor
Date/Time:
Wednesday 19th February 2025 @ 6:30 PM
Venue:
BRISTOL
Details:
"How do we prove that railway signalling is fundamentally safe? Come to this lecture to find out."
Bookings for this event open at 4:00 PM, Wednesday 1st January 2025 .
Please check back here after registrations open.
.