Jump to main content

yr 〜
yr

Search results 6

Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 : 9th international workshop, FATES 2009 : Eindhoven, the Netherlands, November 2-4, 2009 : proceedings. : joint conference of the 21st IFIP international conference on testing of communicating systems (TESTCOM) and the 9th international workshop on formal approaches to testing of software (FATES) : 1st formal methods week (FMweek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5826)

Testing of software and communication systems : 21st IFIP WG 6.1 international conference, TESTCOM 2009 : 9th international workshop, FATES 2009 : Eindhoven, the Netherlands, November 2-4, 2009 : proceedings. : joint conference of the 21st IFIP international conference on testing of communicating systems (TESTCOM) and the 9th international workshop on formal approaches to testing of software (FATES) : 1st formal methods week (FMweek) : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5826)
Paper図書
Springerc2009.<M17-10-1992>
National Diet Library

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
Paper図書
Springerc2011.<M17-11-2041>
National Diet Library
  • Subject Heading...ion. Software. Testen. Model Checking. Haifa <2009> ...

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)

Formal methods: foundations and applications : 12th Brazilian symposium on formal methods, SBMF 2009 : Gramado, Brazil, August 19-21, 2009 : revised selected papers. : Aug 2009, Gramado, Brazil. (Lecture Notes in Computer Science ; 5902)
Paper図書
Springerc2009.<M17-10-1656>
National Diet Library
  • Subject Heading...tem. Software. Testen. Verifikation. Gramado (2009) ...

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 : Lisboa, Portugal, June 9-12, 2009 : proceedings. : international federated conferences on distributed computing techniques : DisCoTec conferences : 11th formal methods for open object-based distributed systems : 29th formal techniques for networked and distributed systems : Jun 2009, Lisboa, Portugal. (Lecture Notes in Computer Science ; 5522)

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009 : Lisboa, Portugal, June 9-12, 2009 : proceedings. : international federated conferences on distributed computing techniques : DisCoTec conferences : 11th formal methods for open object-based distributed systems : 29th formal techniques for networked and distributed systems : Jun 2009, Lisboa, Portugal. (Lecture Notes in Computer Science ; 5522)
Paper図書
Springerc2009.<M17-10-1371>
National Diet Library

Middleware 2009 : ACM/IFIP/USENIX 10th international middleware conference : Urbana, IL, USA, November 30-December 4, 2009 : proceedings. : Nov 2009, Urbana, IL. (Lecture Notes in Computer Science ; 5896)

Middleware 2009 : ACM/IFIP/USENIX 10th international middleware conference : Urbana, IL, USA, November 30-December 4, 2009 : proceedings. : Nov 2009, Urbana, IL. (Lecture Notes in Computer Science ; 5896)
Paper図書
Springerc2009.<M17-10-1553>
National Diet Library

Testing commercial off the shelf components and systems

Testing commercial off the shelf components and systems
Paper図書
Sami Beydeda, Volker Gruhn (eds.)Springerc2005
Other Libraries in Japan

Reached to the end of result.

RSS