3rd IFM 2002: Turku, Finland

Refine list

showing all ?? records

Invited Talk

Integration, Simulation, Animation

From Specification to Verfication

Statecharts and B: Integration and Translation

Invited Talk

Model Checkers and Theorem Provers

Links between Object-Z and CSP

Invited Talk

Combining Graphical and Formal Approaches

Refinement and Proof

a service of  Schloss Dagstuhl - Leibniz Center for Informatics