Elie Najm
4 published titles
Formal methods for open object-based distributed systems
(Contributor)
1 edition
- ISBN: 0412797704
- Chapman & Hall on behalf of the International Federation for Information Processing
- 1997
- Details
Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distrib
(Contributor)
1 edition
- ISBN: 0412847604
- Kluwer Academic Publishers
- 1998
- Details
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540204911
- Springer-Verlag
- 2003
- Details
Formal techniques for networked and distributed systems - FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 ; proceedings
(Contributor)
1 edition
- ISBN: 9783540462194
- Springer
- 2006
- Details
