2. SEFM 2004: Beijing, China

Keynote 1

Session 1A: Parallel Distributed Systems

Session 1B: Automated Proof and Model Checking

Keynote 2

Session 2A: System Modelling and Development

Session 2B: Model Integration and Theory Unification

Keynote 3

Session 3: Object-Oriented and Component-Based Development

Keynote 4

Session 4A: Testing and Validation

Session 4B: System Correctness Analysis and Refinement

Keynote 5

Session 5A: Architecture and Co-Design

Session 5B: Automated Analysis and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics