Ada-Europe 2011: Edinburgh, UK

Keynote Talk

Multicore

Verification

Architecture and Modelling

Education and Mixed Criticality

Panel: Language Paradigms for Multicore Programming

Panel: DO178C and Object-Orientation for Critical Systems

Signet Library Talk