MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

by Najm, Elie
Published 2003

Springer Berlin Heidelberg

Cover Image

2

Formal Methods for Open Object-based Distributed Systems : Volume 1

Published 1997

Springer US

Other Authors: “...Najm, Elie...”

Cover Image

3

SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Najm, Élie...”

Cover Image

4

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Tech...

Published 1998

Springer US

Other Authors: “...Najm, Elie...”

Cover Image

5

Formal Methods for Open Object-Based Distributed Systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Najm, Elie...”

Cover Image

6

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Najm, Elie...”