10th FORTE / 17th PSTV 1997: Osaka, Japan

Refine list

showing all ?? records

Invited Talk I

Part One - Testing Theory for Concurrent Systems

Part Two - MSC and ODP

Part Three - LOTOS and Extension

Part Four - Verification Technique

Part Five - Conformance Testing

Invited Talk II

Part Six - Real Time Systems

Part Seven - Languages and Applications

Part Eigth - Industrial Usage Reports

Invited Talk III

Part Nine - Concurrent Systems

a service of  Schloss Dagstuhl - Leibniz Center for Informatics