Elie Najm

Formal Techniques for Networked and Distributed Systems - FORTE 2006

26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Sys...

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed...