Model-Based Consistency Checks of Electric and Electronic Architectures against Requirements.

Nico Adler, Philipp Graf, Klaus D. Mller-Glaser

Browse the full MODELS paper archive.