2nd SEsCPS@ICSE 2016: Austin, Texas, USA

Refine list

showing all ?? records

Formal modeling and planning

Safety and security

Frameworks

a service of  Schloss Dagstuhl - Leibniz Center for Informatics