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

Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss

Browse the full MODELS paper archive.