Search - Télécom Paris Access content directly

Filter your results

4 Results
authFullName_s : Lilia Belabed

Formal Method for RailWays Disasters prevention

Lilia Belabed , Tullio Joseph Tanzi , Sophie Coudert
Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019
Book sections hal-02364487v1
Image document

Formal Methods for Railway Disasters Prevention

Lilia Belabed , Tullio Tanzi , Sophie Coudert
2nd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Oct 2017, Sofia, Bulgaria. pp.161-176, ⟨10.1007/978-3-030-18293-9_14⟩
Conference papers hal-02280313v1

Formal Methods for Safe Design and Verification of Transportation Systems

Lilia Belabed , Tullio Tanzi , Sophie Coudert , Dominique Legros
1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France
Conference papers hal-02412315v1

Formal methode for safe and Verification of RailWay Signaling Sustems

Lilia Belabed , Tullio Tanzi , Sophie Coudert
Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria
Conference papers hal-02412316v1