Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings.

Sven Peldszus, Katja Tuma, Daniel Strber, Jan Jrjens, Riccardo Scandariato

Browse the full MODELS paper archive.