Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...

Formal Methods for Computational Systems Biology

This book presents a set of 14 papers accompanying the lectures of leading researchers given at t...

Formal Methods for Web Services

Formal Methods for Executable Software Models

InhaltsangabeAnalysis of Executable Software Models.- Deadlock Detection in Linear Recursive Prog...

Formal Methods for Model-Driven Engineering

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the I...

A Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Formal Methods for Multicore Programming

InhaltsangabeParallel Objects for Multicores: A Glimpse at the Parallel Language Encore.- Coordin...

Formal Methods for Dynamical Systems

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

Formal Methods for the Design of Real-Time Systems

A large class of computing systems can be speci?ed and veri?ed by abstracting away from the tempo...

A Process Algebraic Approach to Software Architecture Design

Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

Formal Methods for Mobile Computing

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th Intern...

Computer Performance Engineering

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...