2nd PSTV 1982: Idyllwild, CA, USA

Refine list

showing all ?? records

Temporal Logic

State Transition Specification Methods

Other Specification Methods

Protocol Synthesis

Activity Reports

Verification Methods

Combined Specification and Verification

Testing and Compliance Checking

a service of  Schloss Dagstuhl - Leibniz Center for Informatics