AboutSign inJoin

Elie Najm

About

Some information is missing for this author.

Books

Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Perdita Stevens, Uwe Nestmann
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Perdita Stevens, Uwe Nestmann
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge
Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems
Jean-Bernard Stefani, Elie Najm
Formal Description Techniques and Protocol Specification, Testing and Verification
Formal Description Techniques and Protocol Specification, Testing and Verification
Elie Najm, Stan Budkowski, Ana Cavalli
Formal Description Techniques and Protocol Specification, Testing and Verification
Formal Description Techniques and Protocol Specification, Testing and Verification
Elie Najm, Stan Budkowski, Ana Cavalli
Formal Methods for Open Object-based Distributed Systems
Formal Methods for Open Object-based Distributed Systems
Jean-Bernard Stefani, Elie Najm

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian