Jump to main content

yr 〜
yr

Search results 74

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings. (Lecture Notes in Computer Science ; 8855)

Hardware and software: verification and testing : 10th international Haifa verification conference, HVC 2014 : Haifa, Israel, November 18-20, 2014 : proceedings. (Lecture Notes in Computer Science ; 8855)
Paper図書
Springer[2014]<M17-15-622>
National Diet Library

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings. (Lecture Notes in Computer Science ; 8244)

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013 : Haifa, Israel, November 5-7, 2013 : proceedings. (Lecture Notes in Computer Science ; 8244)
Paper図書
Springerc2013.<M17-14-1312>
National Diet Library

Post-silicon and runtime verification for modern processors

Post-silicon and runtime verification for modern processors
Paper図書
Ilya Wagner, Valeria Bertacco.Springerc2011.<M159-B134>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputer software--Verification. Computer programs--Verification.

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. (Lecture Notes in Computer Science ; 4905)

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings. (Lecture Notes in Computer Science ; 4905)
Paper図書
Springerc2008.<M17-08-1774>
National Diet LibraryOther Libraries in Japan

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. (Lecture Notes in Computer Science ; 5295)

Verified software: theories, tools, experiments : second international conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings. (Lecture Notes in Computer Science ; 5295)
Paper図書
Springerc2008.<M17-08-2339>
National Diet LibraryOther Libraries in Japan

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

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

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain.

PLPV'10 : proceedings of the 2010 ACM SIGPLAN workshop on programming languages meets program verification : January 19, 2010 : Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2488>
National Diet Library

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

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

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

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings. (Lecture Notes in Computer Science ; 9128)

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings. (Lecture Notes in Computer Science ; 9128)
Paper図書
Springer[2015]<M17-16-388>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...--Reliability. Computer programs--Verification. Computer software--Reliabilit...

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006 : Charleston, SC, USA, January 8-10, 2006 : proceedings. (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. (Lecture Notes in Computer Science ; 3855)
Paper図書
Springerc2006.<M17-06-2259>
National Diet LibraryOther Libraries in Japan

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009.

3rd ACM SIGPLAN workshop on programming languages meets program verification 2009 : (PLPV 09) : Savannah, Georgia, USA : 20 January 2009.
Paper図書
Association for Computing Machineryc2009.<M17-10-2738>
National Diet LibraryOther Libraries in Japan

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings. (Lecture Notes in Computer Science ; 8718)

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings. (Lecture Notes in Computer Science ; 8718)
Paper図書
Springer[2014]<M17-15-1259>
National Diet Library
  • Subject Heading...--Reliability. Computer programs--Verification. Computer software--Reliabilit...

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7437)

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7437)
Paper図書
Springerc2012.<M17-13-588>
National Diet Library

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. (Lecture Notes in Computer Science ; 2937)

Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004 : Venice, Italy, January 11-13, 2004 : proceedings. (Lecture Notes in Computer Science ; 2937)
Paper図書
Springer-Verlagc2004.<M17-04-2460>
National Diet Library

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. (Lecture Notes in Computer Science ; 5825)

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009 : Eindhoven, the Netherlands, November 2-3, 2009 : proceedings. (Lecture Notes in Computer Science ; 5825)
Paper図書
Springerc2009.<M17-10-1649>
National Diet LibraryOther Libraries in Japan

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. (Lecture Notes in Computer Science ; 4916)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. (Lecture Notes in Computer Science ; 4916)
Paper図書
Springerc2008.<M17-08-1780>
National Diet Library

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. (Lecture Notes in Computer Science ; 2575)

Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings. (Lecture Notes in Computer Science ; 2575)
Paper図書
Springerc2003.<M17-03-814>
National Diet LibraryOther Libraries in Japan

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002 : Venice, Italy, January 21-22, 2002 : revised papers. (Lecture Notes in Computer Science ; 2294)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002 : Venice, Italy, January 21-22, 2002 : revised papers. (Lecture Notes in Computer Science ; 2294)
Paper図書
Springer2002.<M17-03-4212>
National Diet LibraryOther Libraries in Japan

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. (Lecture Notes in Computer Science ; 4444. Festschrift)

Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday. (Lecture Notes in Computer Science ; 4444. Festschrift)
Paper図書
Springerc2007.<M17-07-1270>
National Diet LibraryOther Libraries in Japan
RSS