Ada-Europe 2000: Potsdam, Germany

Invited Presentations

Real-Time and Safety-Critical Systems

Session: Tools

Session: APIs and Components

Session: ASIS

Session: Risk and Reliability Management

Session: UML

Session: Formal Analysis Methods

Session: Testing