5. FASE 2002: Grenoble, France (Part of ETAPS 2002)

Refine list

showing all ?? records

Formal Frameworks

Model and Program Analysis

Architecture Descriptions

Meta-Models

Formal Approaches towards UML

Requirements Engineering

Tool Demonstration