Jump to main content

yr 〜
yr

Search results 16

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

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)
Paper図書
Springer[2015]<M17-16-388>
National Diet Library

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings : 19th international workshop on formal methods for industrial critical systems : 1-week scientific event FLORENCE 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8718)

Formal methods for industrial critical systems : 19th international conference, FMICS 2014 : Florence, Italy, September 11-12, 2014 : proceedings : 19th international workshop on formal methods for industrial critical systems : 1-week scientific event FLORENCE 2014 : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8718)
Paper図書
Springer[2014]<M17-15-1259>
National Diet Library

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012 : Paris, France, August 27-28, 2012 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7437)
Paper図書
Springerc2012.<M17-13-588>
National Diet Library

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8187)

Formal methods for industrial critical systems : 18th international workshop, FMICS 2013 : Madrid, Spain, September 23-24, 2013 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8187)
Paper図書
Springerc2013.<M17-14-722>
National Diet Library

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy. (Lecture Notes in Computer Science ; 6959)

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011 : Trento, Italy, August 29-30, 2011 : proceedings : workshops of the ERCIM Working Group on Formal Methods for Industrial Critical Systems : Aug 2011, Trento, Italy. (Lecture Notes in Computer Science ; 6959)
Paper図書
Springerc2011.<M17-12-1242>
National Diet Library

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)
Paper図書
Springerc2007.<M17-07-1248>
National Diet Library
  • Subject Heading...-- Congresses. Computer programs -- Reliability -- Congresses. Computer softw...

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008 : L'Aquila, Italy, September 15-16, 2008 : revised selected papers. : Sep 2008, L'Aquila, Italy. (Lecture Notes in Computer Science ; 5596)
Paper図書
Springerc2009.<M17-10-1593>
National Diet Library
  • Subject Heading...-- Congresses. Computer programs -- Reliability -- Congresses. Computer softw...

Proceedings.

Proceedings.
Paper図書
Institute of Electrical and Electronics Engineers]1975.<M159-49>
National Diet Library
  • Subject HeadingComputer programs -- Reliability -- Congresses. Electronic dig...

High-integrity software pbk

High-integrity software pbk
Paper図書
edited by C. T. SennettPitman1989.
Other Libraries in Japan
  • Subject HeadingComputer systems. Software. Reliability Computer programs -- Reliability
  • Subject Heading (ID)Computer systems. Software. Reliability Computer programs -- Reliability

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

Formal methods for industrial critical systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Paper図書
Darren Cofer, Alessandro Fantechi (eds.)Springerc2009
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer programs -- Reliability -- Congresses Computer softwa...
  • Subject Heading (ID)... -- Congresses Computer programs -- Reliability -- Congresses Computer softwa...

Record.

Record.
Paper図書
Institute of Electrical and Electronics Engineers.1973.<M154-41>
National Diet Library
  • Subject HeadingComputer programs -- Reliability -- Congresses. Computer progr...

Reliability, yield, and stress burn-in : a unified approach for microelectronics systems manufacturing & software development

Reliability, yield, and stress burn-in : a unified approach for microelectronics systems manufacturing & software development
Paper図書
by Way Kuo, Wei-Ting Kary Chien, Taeho KimKluwer Academic Publishersc1998
Other Libraries in Japan
  • Subject Heading...iconductors -- Computer programs -- Reliability
  • Subject Heading (ID)...iconductors -- Computer programs -- Reliability

Software reliability : a study of large project reality

Software reliability : a study of large project reality
Paper図書
Thomas A. Thayer, Myron Lipow, Eldred C. NelsonNorth-Holland1978
Other Libraries in Japan
  • Subject HeadingComputer programs -- Reliability
  • Subject Heading (ID)Computer programs -- Reliability

Computing systems reliability

Computing systems reliability
Paper図書
edited by T. Anderson and B. RandellCambridge University Press1979
Other Libraries in Japan
  • Subject HeadingElectronic digital computers -- Reliability Computer programs -- Reliability
  • Subject Heading (ID)Electronic digital computers -- Reliability Computer programs -- Reliability

Reliability and robustness of engineering software : edited papers presented at the 1st International Conference, Como, Italy, September 1987 :uk :us

Reliability and robustness of engineering software : edited papers presented at the 1st International Conference, Como, Italy, September 1987 :uk :us
Paper図書
edited by C.A. Brebbia, G.A. KeramidasElsevier1987
Other Libraries in Japan
  • Subject HeadingEngineering -- Computer programs -- Reliability -- Congresses Computer softwa...
  • Subject Heading (ID)Engineering -- Computer programs -- Reliability -- Congresses Computer softwa...

Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD

Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD
Paper図書
IEEE Computer Society [and] the Institute of Electrical and Electronics EngineersIEEE Computer Society Pressc1983
Other Libraries in Japan
  • Subject Heading... -- Congresses Computer programs -- Reliability -- Congresses
  • Subject Heading (ID)... -- Congresses Computer programs -- Reliability -- Congresses

Reached to the end of result.

RSS