yr 〜
yr

Search results 9

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)

Hardware and software: verification and testing : 8th international Haifa verification conference, HVC 2012 : Haifa, Israel, November 6-8, 2012 : revised selected papers : Nov 2012, Haifa, Israel. (Lecture Notes in Computer Science ; 7857)
Paper図書
Springerc2013.<M17-14-543>
National Diet Library
  • DDC005.14

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)
Paper図書
Springerc2013.<M17-14-557>
National Diet Library
  • DDC005.14

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)
Paper図書
Springerc2013.<M17-13-3343>
National Diet Library
  • DDC005.14

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)

Verification, model checking, and abstract interpretation : 12th international conference, VMCAI 2011 : Austin, TX, USA, January 23-25, 2011 : proceedings. : Jan 2011, Austin, TX. (Lecture Notes in Computer Science ; 6538)
Paper図書
Springerc2011.<M17-11-1898>
National Diet Library
  • DDC005.14

Stabilization, safety, and security of distributed systems : 13th international symposium, SSS 2011 : Grenoble, France, October 10-12, 2011 : proceedings : Oct 2011, Grenoble, France. (Lecture Notes in Computer Science ; 6976)

Stabilization, safety, and security of distributed systems : 13th international symposium, SSS 2011 : Grenoble, France, October 10-12, 2011 : proceedings : Oct 2011, Grenoble, France. (Lecture Notes in Computer Science ; 6976)
Paper図書
Springerc2011.<M17-12-1320>
National Diet Library
  • DDC005.14

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)
Paper図書
Springerc2011.<M17-11-1891>
National Diet Library
  • DDC005.14

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
  • DDC005.14

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 : proceedings. : Jan 2007, Nice, France. (Lecture Notes in Computer Science ; 4349)
Paper図書
Springerc2007.<M17-07-718>
National Diet Library
  • DDC005.14

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3855)
Paper図書
Springerc2006.<M17-06-2259>
National Diet Library
  • DDC005.14

Reached to the end of result.