Login / Signup

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

Sven PeldszusKatja TumaDaniel StrüberJan JürjensRiccardo Scandariato
Published in: SE (2020)
Keyphrases
  • data flow
  • database machine
  • control flow
  • probabilistic model
  • object oriented software
  • systolic array
  • data management
  • data transfer
  • low cost
  • source code
  • database management systems