Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software

Autor:	Laurent Mauborgne, Christian Ferdinand, Stephan Wilhelm, Maximilian Schlund, Bernard Schmidt, Daniel Kaestner
Rok vydání:	2019
Předmět:	geography geography.geographical_feature_category Scale (ratio) Computer science Mechanical engineering Static analysis Sound (geography) Automotive software
Zdroj:	SAE Technical Paper Series.
ISSN:	0148-7191
DOI:	10.4271/2019-01-1246
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f2ad96fb90213b6a23a1d0c833d0b608 https://doi.org/10.4271/2019-01-1246 Zobrazit plný text záznamu