ISoLA 2016: Corfu, Greece

Refine list

showing all ?? records

Towards a Unified View of Modeling and Programming

Formal Methods and Safety Certification: Challenges in the Railways Domain

RVE: Runtime Verification and Enforcement, the (Industrial) Application Perspective

Variability Modeling for Scalable Software Evolution

Detecting and Understanding Software Doping

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems

Testing the Internet of Things

Doctoral Symposium

Industrial Track

RERS Challenge


a service of  Schloss Dagstuhl - Leibniz Center for Informatics