Henrik KaijserMarkus BorgCristofer EnglundKrzysztof WnukBoris DuránChristoffer LevandowskiShenjian GaoYanwen TanHenrik KaijserHenrik LönnJonas TörnqvistSafely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry.2018abs/1812.05389CoRRhttp://arxiv.org/abs/1812.05389db/journals/corr/corr1812.html#abs-1812-05389Hans BlomDe-Jiu ChenHenrik KaijserHenrik LönnYiannis PapadopoulosMark-Oliver ReiserRamin Tavakoli KolagariSara Tucci PiergiovanniEAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research.1-2020165Int. J. Syst. Dyn. Appl.3https://doi.org/10.4018/IJSDA.2016070101db/journals/ijsda/ijsda5.html#BlomCKLPRKP16Grischa LiebelAndreea OlaruHenrik LönnHenrik KaijserSunith RajendranUrban IngelssonRichard Berntsson-SvenssonAddressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements.168-1752016MODELSWARDhttps://doi.org/10.5220/0005652101680175https://ieeexplore.ieee.org/document/7954357conf/modelsward/2016db/conf/modelsward/modelsward2016.html#LiebelOLKRIB16Raluca MarinescuHenrik KaijserMarius MikucionisCristina SeceleanuHenrik LönnAlexandre DavidAnalyzing Industrial Architectural Models by Simulation and Model-Checking.189-2052014FTSCShttps://doi.org/10.1007/978-3-319-17581-2_13conf/ftscs/2014db/conf/ftscs/ftscs2014.html#MarinescuKMSLD14Richard Berntsson-SvenssonHans BlomMarkus BorgDe-Jiu ChenAlexandre DavidBoris DuránCristofer EnglundShenjian GaoUrban IngelssonRamin Tavakoli KolagariChristoffer LevandowskiGrischa LiebelHenrik LönnRaluca MarinescuMarius MikucionisAndreea OlaruYiannis PapadopoulosSara Tucci PiergiovanniSunith RajendranMark-Oliver ReiserCristina Cerschi SeceleanuCristina SeceleanuYanwen TanJonas TörnqvistKrzysztof Wnuk