13. PSTV 1993: Liège, Belgium

Refine list

showing all ?? records

Keynote Address - Invited Paper

Support for Protocol Engineering with LOTOS

Verification Methods and Tools

Time and Probabilities in Formal Design

Application of Formal Methods to Real Protocol Case Studies

Conformance Test Generation and Coverage

Methods for Synthesising and Transforming Formal Descriptions

Invited Paper

a service of  Schloss Dagstuhl - Leibniz Center for Informatics