SFM 2011: Bertinoro, Italy

Refine list

showing all ?? records

Architecture and Interoperability

Formal Foundations for Connectors

Connector Synthesis

Learning and Monitoring

Dependability Assurance

Trustworthy Eternal Systems via Evolving Software

a service of  Schloss Dagstuhl - Leibniz Center for Informatics