Formal Methods for the Design of Real-Time Systems

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Formal Methods for Multicore Programming

Formal Methods for Executable Software Models

Formal Methods for Model-Driven Engineering

Formal Methods for Eternal Networked Software Systems

Probabilistic Trace and Testing Semantics

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

Formal Methods for Web Services