15. PSTV 1995: Warsaw, Poland

Part One - Specification and Verification: Time-dependent Analysis

Invited Paper

Part Two - Specification of Concurrent Systems

Part Three - Testing

Part Four - Specification and Verification: Temporal Approach

Part Five - Validation and Testing

Part Six - Specification and Analysis

Part Seven - Verification: Model Checking

Invited Paper

Part Eight - High Speed/Multimedia

Part Nine - Towards Implementation