The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industr

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications sys

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europ