Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Drabek, Thomas Pramsohler, Marc Zeller, Gereon Weiss. Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment. In Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai, editors, Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013. Volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]

This author has not been identified. Look up 'Christian Drabek' in GoogleThis author has not been identified. Look up 'Thomas Pramsohler' in GoogleThis author has not been identified. Look up 'Marc Zeller' in GoogleThis author has not been identified. Look up 'Gereon Weiss' in Google

runs on WebDSL