Model-Based Quality Assurance of Automotive Software.

Jan Jrjens, Daniel Rei, David Trachtenherz

Browse the full MODELS paper archive.