15th ASE 2000: Grenoble, France

Refine list

showing all ?? records

Session 1: Verification

Session 2: Requirements

Session 3: Evolution

Session 4: Synthesis and Code Generation

Session 5: Algebraic Specification

Session 6: Process

Session 7: Design

Session 8: Testing

Short Papers

a service of  Schloss Dagstuhl - Leibniz Center for Informatics