Sven Leger

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 2

Top Topics

Software Developers

Industrial Strength

Safety Analysis

Knowledge Based Systems

Top Venues

Publications

Alexandra Halchin, Adja Ndeye Sylla, Sarah Benyagoub, Abderrahmane Feliachi, Yoann Fonteneau, Sven Leger
Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. RSSRail (2023)
Manel Fredj, Sven Leger, Abderrahmane Feliachi, Julien Ordioni
OVADO - Enhancing Data Validation for Safety-Critical Railway Systems. RSSRail (2017)