Login / Signup
Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML.
Fabíola Gonçalves C. Ribeiro
Achim Rettberg
Carlos Eduardo Pereira
Michel S. Soares
Published in:
Autom. (2019)
Keyphrases
</>
safety analysis
formal methods
safety critical
modeling language
massachusetts institute of technology
automotive industry
test set
low cost
data sets
feature selection
three dimensional
search algorithm
nuclear power plant
driver assistance