Jump to main content

yr 〜
yr

Search results 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.
Paper図書
ACMc2010.<M17-11-2617>
National Diet Library
  • Author HeadingGroz, Roland. Li, Keqin, 1963- Internationa...

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)
Paper図書
Springer-Verlagc2004.<M17-04-2546>
National Diet Library
  • Author HeadingBrunel 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
Paper図書
Roland Groz, Robert M. Hierons (eds.)Springerc2004
Other Libraries in Japan

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
Paper図書
edited by Michel Diaz, Roland GrozNorth-Holland1993
Other Libraries in Japan

Reached to the end of result.

RSS