Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

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

  • Sven Peldszus
  • , Katja Tuma
  • , Daniel Strüber
  • , Jan Jürjens
  • , Riccardo Scandariato

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelSoftware Engineering 2020
RedacteurenMichael Felderer
UitgeverijGesellschaft für Informatik e.V. (GI)
Pagina's51-52
Aantal pagina's2
DOI's
StatusGepubliceerd - 2020
Extern gepubliceerdJa

Publicatie series

NaamLecture Notes in Informatics
Volume300

Citeer dit