ISoLA 2014: Corfu, Greece

Refine list

showing all ?? records

Evolving Critical Systems

Rigorous Engineering of Autonomic Ensembles

Automata Learning

Formal Methods and Analysis in Software Product Line Engineering

Model-Based Code Generators and Compilers

Tutorial: Automata Learning in Practice

a service of  Schloss Dagstuhl - Leibniz Center for Informatics