Model-guided Security Analysis of Interconnected Embedded Systems.

Yasamin Mahmoodi, Sebastian Reiter, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel

Browse the full MODELSWARD paper archive.