9. FORTE / 16. PSTV 1996: Kaiserslautern, Germany

Invited Talk 1

Part One - Tools and Tool Support

Invited Talk 2

Part Two - FDT-Application

Part Three - FDT-Based System and Protocol Engineering

Part Four - Performance Modelling and Analysis

Part Five - Real-Time and Probability Aspects

Invited Talk 3 - Abstract

Part Six - Verification and Validation

Invited Talk 4 - Abstract

Part Seven - Industrial Usage Reports

Part Eight - Extensions of FDTs and Semantical Foundations