( en | de | ru )

 

Disambiguation of "Najm, Elie"

Author of the publication

copydeleteadd this publication to your clipboard
Architecting end-to-end convergence of web and Telco services.

, , and . iiWAS, page 98-105. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Najm Haddad

Elie Soubiran

Oliver Najmann

Leo Najman

Michael Elies

 

Other publications of authors with the same name

Towards a Mobile LOTOS., , and . FORTE, volume 43 of IFIP Conference Proceedings, page 127-142. Chapman & Hall, (1995)Contracts for ODP., , and . ARTS, volume 1231 of Lecture Notes in Computer Science, page 216-232. Springer, (1997)Raisonner sur des données en agroécologie: application à la sélection d'espèces végétales de service. (Reasoning on data in agroecology: application to the selection of service plant species).. University of Montpellier, France, (2022)Protocol verification with reactive Promela/Rspin., and . The Spin Verification System, volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 111-131. DIMACS/AMS, (1996)Safe Session-Based Service Orchestration with Unreliable Communication., , and . WS-FM, volume 8379 of Lecture Notes in Computer Science, page 106-126. Springer, (2013)Real-time Connectors for Deterministic Data-flow., and . RTCSA, page 173-182. IEEE Computer Society, (2007)Infinite types for distributed object interfaces., , and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Specification & Detection of IN Service Interference Using LOTOS., and . FORTE, volume C-22 of IFIP Transactions, page 53-69. North-Holland, (1993)Consistent Semantics for ODP Information and Computational Models., and . FORTE, volume 107 of IFIP Conference Proceedings, page 107-126. Chapman & Hall, (1997)Verification of Distributed Systems Using Structured Communicating Agents Nets.. PSTV, page 295-308. North-Holland, (1984)