Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jarl Hoyem"'
Publikováno v:
Automotive Software – Connected Services in Mobile Networks ISBN: 9783540376774
ASWSD
ASWSD
We report on how implementing a Model Based Automotive SW Engineering Process in an industrial setting can ensure the correctness of automotive applications when a process based on formal models is used. We show how formal methods, in particular mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c733103473491a92cae38048569a1fb
https://doi.org/10.1007/11823063_7
https://doi.org/10.1007/11823063_7
