5. FORTE 1992: Perros-Guirec, France

Refine list

showing all ?? records

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