Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Durand-2021-Model Checking AUTOSAR Components with CBMC-vor.pdf.jpgDurand, Timothee ; Fazekas, Katalin ; Weissenbacher, Georg ; Zwirchmayr, Jakob Model Checking AUTOSAR Components with CBMCInproceedings Konferenzbeitrag Oct-2021