Merkliste 
 1 Ergebnisse 
 
1

Towards Run-Time Verification of Adaptive Security for IoT ..:

, In: Proceedings of the 2014 European Conference on Software Architecture Workshops,