Jump to main content

yr 〜
yr

Search results 5

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4581)

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007 : 7th international workshop, FATES 2007 : Tallinn, Estonia, June 26-29, 2007 : proceedings. : 7th international workshop on formal approaches to testing of software : joint conference of TESTCOM and FATES : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4581)
Paper図書
Springerc2007.<M17-07-1758>
National Diet Library
  • Author HeadingPetrenko, Alexandre. IFIP TC6/WG6.1 International ...

Formal approaches to software testing : third international workshop on formal approaches to testing of software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers. : Oct 2003, Montreal, Canada. (Lecture Notes in Computer Science ; 2931)

Formal approaches to software testing : third international workshop on formal approaches to testing of software, FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers. : Oct 2003, Montreal, Canada. (Lecture Notes in Computer Science ; 2931)
Paper図書
Springer-Verlagc2004.<M17-04-2449>
National Diet Library
  • Author HeadingPetrenko, Alexandre. Ulrich, Andreas, Dr. Ing. FAT...

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings

Testing of software and communicating systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings
Paper図書
Alexandre Petrenko ... [et al.] (eds.)Springerc2007
Other Libraries in Japan

Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Paper図書
Alexandre Petrenko, Andreas Ulrich (eds.)Springerc2004
Other Libraries in Japan

Testing of communicating systems : proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia

Testing of communicating systems : proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems (IWTCS'98), August 31-September 2, 1998, Tomsk, Russia
Paper図書
edited by Alexandre Petrenko, Nina YevtushenkoKluwerc1998
Other Libraries in Japan

Reached to the end of result.

RSS