Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

TitleModeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners
Publication TypeConference Paper
Year of Publication2016
AuthorsKhalilov, E., J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki
Conference NameISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Date Published10/2016
URLhttps://link.springer.com/chapter/10.1007/978-3-319-47169-3_37
DOI10.1007/978-3-319-47169-3_37
Refereed DesignationRefereed

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.