@inproceedings{meric:hal-03453613, TITLE = {{Mod{\'e}lisation comportementale et s{\'e}mantique pour la s{\^u}ret{\'e} de fonctionnement des syst{\`e}mes autonomes critiques}}, AUTHOR = {M{\'e}ric, Nicolas and Niol, Julien and Tlig, Mohamed}, URL = {https://hal.science/hal-03453613}, BOOKTITLE = {{Congr{\`e}s Lambda Mu 22 `` Les risques au c{\oe}ur des transitions '' (e-congr{\`e}s) - 22e Congr{\`e}s de Ma{\^i}trise des Risques et de S{\^u}ret{\'e} de Fonctionnement, Institut pour la Ma{\^i}trise des Risques}}, ADDRESS = {Le Havre (e-congr{\`e}s), France}, HAL_LOCAL_REFERENCE = {3SA}, YEAR = {2020}, MONTH = Oct, KEYWORDS = {S{\^u}ret{\'e} de fonctionnement ; Model Based Safety Assessment ; Sc{\'e}narios de validation ; Syst{\`e}me de conduite autonome ; Ontologie ; AltaRica}, PDF = {https://hal.science/hal-03453613/file/LM22_COM_FULL_482809_Nicolas_M%C3%9Aric_20200803_306495.pdf}, HAL_ID = {hal-03453613}, HAL_VERSION = {v1}, }