@inproceedings{belabed:hal-02412315, TITLE = {{Formal Methods for Safe Design and Verification of Transportation Systems}}, AUTHOR = {Belabed, Lilia and Tanzi, Tullio and Coudert, Sophie and Legros, Dominique}, URL = {https://telecom-paris.hal.science/hal-02412315}, BOOKTITLE = {{1st Summer School Human Factors Aspects of Cooperative Systems Design}}, ADDRESS = {Sophia Antipolis, France}, HAL_LOCAL_REFERENCE = {TjT:HFACSD2017}, YEAR = {2017}, MONTH = Jul, KEYWORDS = {Formal Methods ; Transport ; Safety}, HAL_ID = {hal-02412315}, HAL_VERSION = {v1}, }