Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.

Published in: SAFECOMP Workshops (2014)

Keyphrases