ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Session

Non functional requirements • Sunday, 25.10

Room: Room 3
TimeTopicAuthors
16:30Non Functional Requirement Formal Specification for ATO of Regional Railways
17:00Traffic-Aware Analysis of the Energy–Availability Balance in Railway Switch Heater Anti-Icing Policies
17:30Discussion