年 〜
年

検索結果 4 件

1st international workshop on model inference in testing 2010 : (MIIT 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : Jul 2010, Trento, Italy.

1st international workshop on model inference in testing 2010 : (MIIT 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : Jul 2010, Trento, Italy.
紙図書
ACMc2010.<M17-11-2617>
国立国会図書館
  • 著者標目Groz, Roland. Li, Keqin, 1963- Internation...

Testing of communicating systems : 16th IFIP international conference, TestCom 2004 : Oxford, UK, March 17-19, 2004 : proceedings. : 16th IFIP TC6/WG6.1 international conference on testing of communicating systems : Mar 2004, Oxford, UK. (Lecture Notes in Computer Science ; 2978)

Testing of communicating systems : 16th IFIP international conference, TestCom 2004 : Oxford, UK, March 17-19, 2004 : proceedings. : 16th IFIP TC6/WG6.1 international conference on testing of communicating systems : Mar 2004, Oxford, UK. (Lecture Notes in Computer Science ; 2978)
紙図書
Springer-Verlagc2004.<M17-04-2546>
国立国会図書館
  • 著者標目Brunel University. Groz, Roland. Hierons, Robert M. LSR-IMAG,...

Testing of communicating systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings

Testing of communicating systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings
紙図書
Roland Groz, Robert M. Hierons (eds.)Springerc2004
全国の図書館
  • 著者標目IFIP TC6/WG6.1 International Workshop on Protocol Test Systems Groz, Roland Hierons, Robert M.

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
紙図書
edited by Michel Diaz, Roland GrozNorth-Holland1993
全国の図書館
  • 著者標目FORTE Diaz, Michel Groz, Roland

検索結果は以上です。