本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springerc2007.<M17-08-1915>
国立国会図書館
  • 著者標目...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)
紙図書
Springerc2006.<M17-07-191>
国立国会図書館
  • 著者標目.... 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)
紙図書
Springer-Verlagc2003.<M17-04-2585>
国立国会図書館
  • 著者標目Najm, 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
紙図書
Emmanuel Gaudin, Elie Najm, Rick Reed (eds.)Springerc2007
全国の図書館

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
紙図書
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)Springerc2006
全国の図書館

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
紙図書
Elie Najm, Uwe Nestmann, Perdita Stevens (eds.)Springerc2003
全国の図書館

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

Formal methods for open object-based distributed systems [v. 1] v. 2
紙図書
edited by Elie Najm nad Jean-Bernard StefaniChapman and Hall on behalf of the International Federation for Information Processing(IFIP)1997
全国の図書館

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
紙図書
edited by Stan Budkowski, Ana Cavalli, Elie NajmKluwer Academic Publishers1998
全国の図書館

検索結果は以上です。

RSS