12th SEsCPS@ICSE 2016: Austin, Texas, USA

Formal modeling and planning

Safety and security

Frameworks

maintained by Schloss Dagstuhl LZI at University of Trier