Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Romain Kerneis
Observed name:
Kerneis, Romain
Institution:
Institut de Recherche Technologique SystemX
Observed institution:
Institut de Recherche Technologique SystemX
OpenAlex ID:
A5000284441
Autonomous Driving System : Model Based Safety Analysis
2018
·
Mohamed Tlig
, Mathilde Machin
, et al.
·
International Conference on Dependable Systems and Networks workshops
·
20
Application du MBSA avec AltaRica 3.0 dans un cadre système de systèmes pour le transport autonome
2021
·
Batteux, Michel
, Kerneis, Romain
·
HAL
Formal System and Safety Design of a System of Systems: A Proof of Concepts
2020
·
Ismet Addoui
, Michel Batteux
, et al.
·
European Safety and Reliability Conference (ESREL)
Contribution à la sécurisation du véhicule autonome: Modélisation comportementale avec AltaRica
2018
·
Mohamed Tlig
, Mathilde Machin
, et al.
·
HAL
Show more works
View as search
Works count:
4
Citation count:
20
H-index:
1
I10-index:
1
Year
Topic
Type