Jump to main content

yr 〜
yr

Search results 32

2013 4th international workshop on emerging trends in software metrics : (WETSoM 2013) : San Francisco, California, USA : 21 May 2013 : WETSoM2013 : May 2013, San Francisco, CA.

2013 4th international workshop on emerging trends in software metrics : (WETSoM 2013) : San Francisco, California, USA : 21 May 2013 : WETSoM2013 : May 2013, San Francisco, CA.
Paper図書
IEEEc2013.<M17-14-1201>
National Diet Library
  • Subject Heading...l--Congresses. Computer software--Validation--Congresses.

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : 2010 international conference on software testing and analysis : Jul 2010, Trento, Italy.

1st international workshop on software test output validation 2010 : (STOV 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : 2010 international conference on software testing and analysis : Jul 2010, Trento, Italy.
Paper図書
ACMc2010.<M17-11-3159>
National Diet Library

2013 IEEE sixth international conference on software testing, verification and validation workshops : (ICSTW 2013) : Luxembourg : 18-22 March 2013 : ICST 2013 : Mar 2013, Luxembourg, Luxembourg. E4993

2013 IEEE sixth international conference on software testing, verification and validation workshops : (ICSTW 2013) : Luxembourg : 18-22 March 2013 : ICST 2013 : Mar 2013, Luxembourg, Luxembourg. E4993
Paper図書
IEEEc2013.<M17-14-1406>
National Diet Library
  • Subject Heading...n--Congresses. Computer software--Validation--Congresses. Computer software--Testing--C...

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013 : IEEE event : Mar 2013, Luxembourg, Luxembourg.

2013 IEEE sixth international conference on software testing, verification and validation : (ICST 2013) : Luxembourg : 18-22 March 2013 : IEEE event : Mar 2013, Luxembourg, Luxembourg.
Paper図書
IEEEc2013.<M17-14-999>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2016 IEEE/ACM 7th international workshop on emerging trends in software metrics (WETSoM 2016) : Austin, Texas, USA : 15 May 2016 : May 2016, Austin, TX.

2016 IEEE/ACM 7th international workshop on emerging trends in software metrics (WETSoM 2016) : Austin, Texas, USA : 15 May 2016 : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-498>
National Diet Library
  • Subject Heading...l--Congresses. Computer software--Validation--Congresses. Computer software--Quality co...

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings : LearnLib tutorial: from finite automata to register interface programs : Linux driver verification workshop : ISoLA week : Oct 2012, Heraklion, Greece. (Lecture Notes in Computer Science ; 7609-7610)

Leveraging applications of formal methods, verification and validation : 5th international symposium, ISoLA 2012 : Heraklion, Crete, Greece, October 15-18, 2012 : proceedings : LearnLib tutorial: from finite automata to register interface programs : Linux driver verification workshop : ISoLA week : Oct 2012, Heraklion, Greece. (Lecture Notes in Computer Science ; 7609-7610)
Paper図書
Springerc2012.<M17-13-1088>
National Diet Library
  • Subject Heading...n--Congresses. Computer software--Validation--Congresses.

Trustworthy global computing : 9th international symposium, TGC 2014 : Rome, Italy, September 5-6, 2014 : revised selected papers : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8902)

Trustworthy global computing : 9th international symposium, TGC 2014 : Rome, Italy, September 5-6, 2014 : revised selected papers : Sep 2014, Rome, Italy. (Lecture Notes in Computer Science ; 8902)
Paper図書
Springer[2014]<M17-15-1703>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

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...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

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...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 8191)

Trustworthy global computing : 7th international symposium, TGC 2012 : Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers : Sep 2012, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 8191)
Paper図書
Springerc2013.<M17-14-726>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2011 IEEE fourth international conference on software testing, verification and validation workshops : (ICSTW 2011) : Berlin, Germany : 21-25 March 2011 : ICST workshop : Mar 2011, Berlin, Germany.

2011 IEEE fourth international conference on software testing, verification and validation workshops : (ICSTW 2011) : Berlin, Germany : 21-25 March 2011 : ICST workshop : Mar 2011, Berlin, Germany.
Paper図書
IEEEc2011.<M17-12-2163>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2011 fourth IEEE international conference on software testing, verification and validation : (ICST 2011) : Berlin, Germany : 21-25 March 2011 : ICST-2011 : Mar 2011, Berlin, Germany.

2011 fourth IEEE international conference on software testing, verification and validation : (ICST 2011) : Berlin, Germany : 21-25 March 2011 : ICST-2011 : Mar 2011, Berlin, Germany.
Paper図書
IEEEc2011.<M17-12-2164>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

ICSE workshop on emerging trends in software metrics 2010 : (WETSoM 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 4 May 2010. : May 2010, Cape Town, South Africa.

ICSE workshop on emerging trends in software metrics 2010 : (WETSoM 2010) : held in conjunction with ICSE 2010 : Cape Town, South Africa : 4 May 2010. : May 2010, Cape Town, South Africa.
Paper図書
Association for Computing Machineryc2010.<M17-11-2388>
National Diet Library

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...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

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...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

Trustworthy global computing : 6th international symposium, TGC 2011 : Aachen, Germany, June 9-10, 2011 : revised selected papers : Jun 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 7173)

Trustworthy global computing : 6th international symposium, TGC 2011 : Aachen, Germany, June 9-10, 2011 : revised selected papers : Jun 2011, Aachen, Germany. (Lecture Notes in Computer Science ; 7173)
Paper図書
Springerc2012.<M17-12-4078>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2010 third international conference on software testing, verification, and validation workshops : (ICSTW 2010) : Paris, France : 6-10 April 2010 : ICST workshops 2010 : Apr 2010, Paris, France.

2010 third international conference on software testing, verification, and validation workshops : (ICSTW 2010) : Paris, France : 6-10 April 2010 : ICST workshops 2010 : Apr 2010, Paris, France.
Paper図書
IEEEc2010.<M17-12-653>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2010 third international conference on software testing, verification and validation : (ICST 2010) : Paris, France : 6-10 April 2010 : Apr 2010, Paris, France.

2010 third international conference on software testing, verification and validation : (ICST 2010) : Paris, France : 6-10 April 2010 : Apr 2010, Paris, France.
Paper図書
IEEEc2010.<M17-12-651>
National Diet Library
  • Subject Heading...g--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...

2015 IEEE/ACM 6th international workshop on emerging trends in software metrics : (WETSoM 2015) : Florence, Italy : 17 May 2015 : May 2015, Florence, Italy.

2015 IEEE/ACM 6th international workshop on emerging trends in software metrics : (WETSoM 2015) : Florence, Italy : 17 May 2015 : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-788>
National Diet Library
  • Subject Heading...l--Congresses. Computer software--Validation--Congresses. Computer networks--Congresses...

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)

Trustworthy global computing : 8th international symposium, TGC 2013 : Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers : Buenos Aires concurrency and dependability week : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8358)
Paper図書
Springerc2014.<M17-14-2121>
National Diet Library
  • Subject Heading...s--Congresses. Computer software--Validation--Congresses. Computer software--Verificati...
RSS