Jump to main content

yr 〜
yr

Search results 6

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010 : Edinburgh, UK, August 16-19, 2010 : proceedings. : Aug 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6217)
Paper図書
Springerc2010.<M17-10-4245>
National Diet Library
  • Subject Heading... Verifikation. Programmtest. Programmanalyse. Programmveri...

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
Paper図書
Springerc2010.<M17-11-2057>
National Diet Library
  • Subject Heading...ogrammanalyse. Programmtest. Model Checking. Serviceorient...

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)
Paper図書
Springerc2009.<M17-10-1652>
National Diet Library
  • Subject Heading...ogrammanalyse. Programmtest. Softwareentwicklung. Systemen...

Tests and proofs : third international conference, TAP 2009 : Zurich, Switzerland, July 2-3, 2009 : proceedings. : Jul 2009, Zurich, Switzerland. (Lecture Notes in Computer Science ; 5668)

Tests and proofs : third international conference, TAP 2009 : Zurich, Switzerland, July 2-3, 2009 : proceedings. : Jul 2009, Zurich, Switzerland. (Lecture Notes in Computer Science ; 5668)
Paper図書
Springerc2009.<M17-10-1489>
National Diet Library

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

Static analysis : 16th international symposium, SAS 2009 : Los Angeles, CA, USA, August 9-11, 2009 : proceedings. : Aug 2009, Los Angeles, CA. (Lecture Notes in Computer Science ; 5673)

Static analysis : 16th international symposium, SAS 2009 : Los Angeles, CA, USA, August 9-11, 2009 : proceedings. : Aug 2009, Los Angeles, CA. (Lecture Notes in Computer Science ; 5673)
Paper図書
Springerc2009.<M17-10-1596>
National Diet Library

Reached to the end of result.

RSS