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

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics