14th ICFEM 2012: Kyoto, Japan

Refine list

showing all ?? records

Invited Speech

Concurrency

Applications of Formal Methods to New Areas

Quantity and Probability

Formal Verification

Modeling and Development Methodology

Temporal Logics

Abstraction and Refinement

Tools

Testing and Runtime Verification

a service of  Schloss Dagstuhl - Leibniz Center for Informatics