Elie Najm – författare
Visar alla böcker från författaren Elie Najm. Handla med fri frakt och snabb leverans.
11 produkter
Formal Methods for Open Object-based Distributed Systems
Volume 1
Av Jean-Bernard Stefani, Elie Najm
E-bok, 2016
2862 kr
Lägg i varukorg
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 Distributed Systems (OODS) brings new challenges and opportunities for the use and development of …
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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Elie Najm, Ana Cavalli m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
Formal Methods for Open Object-based Distributed Systems
Volume 1
Av Elie Najm, Jean-Bernard Stefani
Inbunden, 1996
2245 kr
Lägg i varukorg
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 Distributed Systems (OODS) brings new challenges and opportunities for the use and development of …
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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Stan Budkowski, Elie Najm m. fl.
Inbunden, 1998
2180 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
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 Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Av Stan Budkowski, Ana Cavalli m. fl.
Häftad, 2013
2180 kr
Lägg i varukorg
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among …
Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Av Elie Najm, Uwe Nestmann m. fl.
Häftad, 2003
567 kr
Lägg i varukorg
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, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held …
Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Av Perdita Stevens, Uwe Nestmann m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
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, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held …
Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Av Elie Najm, Jean-Francois Pradat-Peyre m. fl.
Häftad, 2006
1126 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures …
Formal Techniques for Networked and Distributed Systems - FORTE 2006
26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Av Veronique Viguie Donzeau-Gouge, Jean-Francois Pradat-Peyre m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
SDL 2007: Design for Dependable Systems
13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Av Emmanuel Gaudin, Élie Najm m. fl.
Häftad, 2007
567 kr
Lägg i varukorg
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 research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums …
SDL 2007: Design for Dependable Systems
13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
Av Rick Reed, Elie Najm m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
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 research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums …
