3rd FME 1996: Oxford, UK

Refine list

showing all ?? records

Invited Lectures

B

Action Systems

Requirements

VDM

User Interfacts for Formal Methods

Z

Distributed Systems (1)

Larch and LP

Model Checking

Distributed Systems

Testing and Debugging

Architecture and Reuse

Transformations

Model Checking

a service of  Schloss Dagstuhl - Leibniz Center for Informatics