5. FORTE 1992: Perros-Guirec, France

Industrial applicatons I

Specification

Time and performance

Verification I

Industrial applications II

Invited presentation I

Design

Executing LOTOS

True concurrency

Testing

Invited presentation II

Verification II

a service of Schloss Dagstuhl - Leibniz Center for Informatics