ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

Securing automatic small railway vehicles using Automatic Train Protection

Time: Monday, 28.10

Room: Room 2

Authors: Collart-Dutilleul

Abstract: