Auteur: Elie Najm

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based D …

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aim …

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, Franc …

…

th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum, Paris, France entitled "Design for Dependable Systems" and re?ects the intent to have a b- ance between experience reports and rese …