Jump to main content

yr 〜
yr

Search results 8

SDL 2007: design for dependable systems : 13th international SDL forum : Paris, France, September 18-21, 2007 : proceedings. : Sep 2007, Paris, France. (Lecture Notes in Computer Science ; 4745)

SDL 2007: design for dependable systems : 13th international SDL forum : Paris, France, September 18-21, 2007 : proceedings. : Sep 2007, Paris, France. (Lecture Notes in Computer Science ; 4745)
Paper図書
Springerc2007.<M17-08-1915>
National Diet Library
  • Author Heading...din, Emmanuel. Najm, Elie. Reed, Rick. SDL Forum (13th :...

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)
Paper図書
Springerc2006.<M17-07-191>
National Diet Library
  • Author Heading.... Lab. CEDRIC. Najm, Elie. Pradat-Peyre, Jean-François. ...

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003 : Paris, France, November 19-21, 2003 : proceedings. : Nov 2003, Paris, France. (Lecture Notes in Computer Science ; 2884)

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003 : Paris, France, November 19-21, 2003 : proceedings. : Nov 2003, Paris, France. (Lecture Notes in Computer Science ; 2884)
Paper図書
Springer-Verlagc2003.<M17-04-2585>
National Diet Library
  • Author HeadingNajm, Elie. Nestmann, Uwe. Stevens, Perdi...

SDL 2007: design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings

SDL 2007: design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings
Paper図書
Emmanuel Gaudin, Elie Najm, Rick Reed (eds.)Springerc2007
Other Libraries in Japan

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

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Paper図書
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)Springerc2006
Other Libraries in Japan

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
Paper図書
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)Springerc2003
Other Libraries in Japan

Formal methods for open object-based distributed systems [v. 1] v. 2

Formal methods for open object-based distributed systems [v. 1] v. 2
Paper図書
edited by Elie Najm nad Jean-Bernard StefaniChapman and Hall on behalf of the International Federation for Information Processing(IFIP)1997
Other Libraries in Japan

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 : alk. paper

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 : alk. paper
Paper図書
edited by Stan Budkowski, Ana Cavalli, Elie NajmKluwer Academic Publishers1998
Other Libraries in Japan

Reached to the end of result.

RSS