Vol-1083⫷ Vol-1084 ⫸Vol-1085
urn:nbn:de:0074-1084-0


Vol-1084/paper6⫷Vol-1084/paper7⫸Vol-1084/paper8
Thomas PramsohlerMarc ZellerGereon WeissChristian Drabek

Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment