yr 〜
yr

Search results 255

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)

Computer aided verification : 26th international conference, CAV 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 18-22, 2014 : proceedings : federated logic conference (FLoC) : CAV workshops : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8559)
Paper図書
Springer[2014]<M17-15-1518>
National Diet Library
  • Subject HeadingComputer software--Verification--Congresses. Computer software--Verification.

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library
  • Subject Heading...n--Congresses. Computer software--Verification.

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings : Sep 2015, Austin, TX. (Lecture Notes in Computer Science ; 9340)

Theory and applications of satisfiability testing--SAT 2015 : 18th international conference : Austin, TX, USA, September 24-27, 2015 : proceedings : Sep 2015, Austin, TX. (Lecture Notes in Computer Science ; 9340)
Paper図書
Springer[2015]<M17-16-763>
National Diet Library
  • Subject Heading...er algorithms. Computer software--Verification.

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)
Paper図書
Springer[2014]<M17-15-1591>
National Diet Library
  • Subject Heading...er algorithms. Computer software--Verification.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016 : IVSW16 : Jul 2016, Sant Feliu de Guixols, Spain.

2016 1st IEEE international verification and security workshop (IVSW 2016) : Sant Feliu de Guixols, Spain : 4-6 July 2016 : IVSW16 : Jul 2016, Sant Feliu de Guixols, Spain.
Paper図書
IEEE[2016]<M17-18-1625>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Verification. Electronic apparatus and appl...

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings : Sep 2015, Bern, Switzerland. (Lecture Notes in Computer Science ; 9269)

E-voting and identity : 5th international conference, VoteID 2015 : Bern, Switzerland, September 2-4, 2015 : proceedings : Sep 2015, Bern, Switzerland. (Lecture Notes in Computer Science ; 9269)
Paper図書
Springer[2015]<M17-16-599>
National Diet Library
  • Subject Heading...n--Congresses. Computer software--Verification. Data encryption (Computer sci...

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
Paper図書
Springer[2015]<M17-15-1660>
National Diet Library

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016 : 9th IEEE international conference on software testing, verification, and validation : Apr 2016, Chicago, IL.

2016 IEEE international conference on software testing, verification and validation (ICST 2016) : Chicago, Illinois, USA : 11-15 April 2016 : 9th IEEE international conference on software testing, verification, and validation : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1531>
National Diet Library
  • Subject Heading...e--Validation. Computer software--Verification.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016 : ICST 2016 : Apr 2016, Chicago, IL.

2016 IEEE ninth international conference on software testing, verification and validation workshops (ICSTW 2016) : Chicago, Illinois, USA : 11-15 April 2016 : ICST 2016 : Apr 2016, Chicago, IL.
Paper図書
IEEE[2016]<M17-18-1530>
National Diet Library
  • Subject Heading...e--Validation. Computer software--Verification.

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)
Paper図書
Springer[2015]<M17-16-412>
National Diet Library
  • Subject Heading...ware--Testing. Computer software--Verification. Software engineering.

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)

Computer aided verification : 24th international conference, CAV 2012 : Berkeley, CA, USA, July 7-13, 2012 : proceedings : 24th international conference on computer-aided verification : Jul 2012, Berkeley, CA. (Lecture Notes in Computer Science ; 7358)
Paper図書
Springerc2012.<M17-13-561>
National Diet Library

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)

Runtime verification : 6th international conference, RV 2015 : Vienna, Austria, September 22-25, 2015 : proceedings : Sep 2015, Vienna, Austria. (Lecture Notes in Computer Science ; 9333)
Paper図書
Springer[2015]<M17-16-759>
National Diet Library
  • Subject Heading...ware--Testing. Computer software--Verification. Formal methods (Computer scie...

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)
Paper図書
Springer[2015]<M17-16-521>
National Diet Library
  • Subject Heading...ware--Testing. Computer software--Verification. Software engineering.

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 15th international conference, VMCAI 2014 : San Diego, CA, USA, January 19-21, 2014 : proceedings : Jan 2014, San Diego, CA. (Lecture Notes in Computer Science ; 8318. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-1756>
National Diet Library

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2014, York, UK. (Lecture Notes in Computer Science ; 8570)

Tests and proofs : 8th international conference, TAP 2014 : held as part of STAF 2014 : York, UK, July 24-25, 2014 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2014, York, UK. (Lecture Notes in Computer Science ; 8570)
Paper図書
Springer[2014]<M17-15-1251>
National Diet Library
  • Subject Heading...ware--Testing. Computer software--Verification. Software engineering.

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)

Verified software: theories, tools and experiments : 6th international conference, VSTTE 2014 : Vienna, Austria, July 17-18, 2014 : revised selected papers : 6th international conference on verified software: theories, tool and experiments : Vienna summer of logic : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8471)
Paper図書
Springer[2014]<M17-15-1585>
National Diet Library
  • Subject Heading...ality control. Computer software--Verification.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015 : ICST : Apr 2015, Graz, Austria.

2015 IEEE eighth international conference on software testing, verification and validation workshops : (ICSTW 2015) : Graz, Austria : 13-17 April 2015 : ICST : Apr 2015, Graz, Austria.
Paper図書
IEEE[2015]<M17-17-1595>
National Diet Library
  • Subject Heading...e--Validation. Computer software--Verification.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015 : ICST week : Apr 2015, Graz, Austria.

2015 IEEE 8th international conference on software testing, verification and validation : (ICST 2015) : Graz, Austria : 13-17 April 2015 : ICST week : Apr 2015, Graz, Austria.
Paper図書
IEEE[2015]<M17-17-1596>
National Diet Library
  • Subject Heading...e--Validation. Computer software--Verification.

Assurances for self-adaptive systems : principles, models, and techniques : ESEC/FSE 2011 workshop on assurances for self-adaptive systems (ASAS) : Sep 2011, Szeged, Hungary. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)

Assurances for self-adaptive systems : principles, models, and techniques : ESEC/FSE 2011 workshop on assurances for self-adaptive systems (ASAS) : Sep 2011, Szeged, Hungary. (Lecture Notes in Computer Science ; 7740. State-of-the-Art Survey)
Paper図書
Springerc2013.<M17-13-1637>
National Diet Library
  • Subject HeadingSelf-adaptive software. Computer software--Verification. Adaptive computing systems.

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)

Time for verification : essays in memory of Amir Pnueli / Zohar Manna, Doron A. Peled (eds.). (Lecture notes in computer science ; 6200 ; Festschrift)
Paper図書
Springerc2010.<X>
National Diet Library