ISoLA 2012: Heraklion, Crete, Greece

Refine list

showing all ?? records

Adaptable and Evolving Software for Eternal Systems

Approaches for Mastering Change

Runtime Verification: The Application Perspective

Model-Based Testing and Model Inference

Learning Techniques for Software Verification and Validation

LearnLib Tutorial: From Finite Automata to Register Interface Programs

RERS Grey-Box Challenge 2012

a service of  Schloss Dagstuhl - Leibniz Center for Informatics