Model Checking of Security-Critical Applications in a Model-Driven Approach.

Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif

Browse the full SEFM paper archive.