Jump to main content

yr 〜
yr

Search results 71

2021 5th International Conference on Control and Fault-Tolerant Systems (SysTol)

2021 5th International Conference on Control and Fault-Tolerant Systems (SysTol)
Digital電子書籍・電子雑誌図書
2021
National Diet Library

2016 3rd conference on control and fault-tolerant systems : (SysTol 2016) : Barcelona, Spain : 7-9 September 2016 : 3rd international conference on control and fault-tolerant systems : Sep 2016, Barcelona, Spain.

2016 3rd conference on control and fault-tolerant systems : (SysTol 2016) : Barcelona, Spain : 7-9 September 2016 : 3rd international conference on control and fault-tolerant systems : Sep 2016, Barcelona, Spain.
Paper図書
IEEE[2016]<M17-18-315>
National Diet Library
  • Author HeadingConference on Control and Fault-Tolerant Systems (3rd : 2016 : Barcelona, Spai...

2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)

2016 3rd Conference on Control and Fault-Tolerant Systems (SysTol)
Digital電子書籍・電子雑誌図書
2016
National Diet Library

2013 conference on control and fault-tolerant systems : (SysToL 2013) : Nice, France : 9-11 October 2013 : 2nd international conference on control and fault-tolerant systems : Oct 2013, Nice, France. CFP1373K-ART

2013 conference on control and fault-tolerant systems : (SysToL 2013) : Nice, France : 9-11 October 2013 : 2nd international conference on control and fault-tolerant systems : Oct 2013, Nice, France. CFP1373K-ART
Paper図書
IEEE[2013]<M17-15-367>
National Diet Library
  • Author HeadingConference on Control and Fault-Tolerant Systems (2nd : 2013 : Nice, France)

2013 Conference on Control and Fault-Tolerant Systems (SysTol)

2013 Conference on Control and Fault-Tolerant Systems (SysTol)
Digital電子書籍・電子雑誌図書
2013
National Diet Library

2010 Conference on Control and Fault-Tolerant Systems (SysTol)

2010 Conference on Control and Fault-Tolerant Systems (SysTol)
Digital電子書籍・電子雑誌図書
2010
National Diet Library
  • Abbreviated TitleCONTROL AND FAULT-TOLERANT SYSTEMS

2010 conference on control and fault-tolerant systems : (SysTol 2010) : Nice, France : 6-8 October 2010. : 1st conference on control and fault-tolerant systems : 2010 conference on control and fault tolerant systems : Oct 2010, Nice, France.

2010 conference on control and fault-tolerant systems : (SysTol 2010) : Nice, France : 6-8 October 2010. : 1st conference on control and fault-tolerant systems : 2010 conference on control and fault tolerant systems : Oct 2010, Nice, France.
Paper図書
IEEEc2010.<M17-11-1829>
National Diet Library
  • Author HeadingConference on Control and Fault-Tolerant Systems (2010 : Nice, France)

User-perceived reliability of fault-tolerant systems with shared backup units

User-perceived reliability of fault-tolerant systems with shared backup units
Paper博士論文
Hirokazu Ozaki [著][Hirokazu Ozaki][2009]<UT51-2009-R509>
National Diet Library

An integrated methodology for the performance and reliability evaluation of fault-tolerant systems

An integrated methodology for the performance and reliability evaluation of fault-tolerant systems
Paper博士論文
Alejandro D. Dominguez-Garcia.Massachusetts Institute of Technology2007.<M-DIMIT-07-128>
National Diet Library

1st workshop on dynamic aspects in dependability models for fault-tolerant systems 2010 : (DYADEM-FTS 2010) : held at EDCC 2010 : Valencia, Spain : 27 April 2010. : 1st workshop on dynamic aspects in dependability models for fault tolerant systems : European dependable computing conference : Apr 2010, Valencia, Spain. (ACM International Conference Proceedings Series)

1st workshop on dynamic aspects in dependability models for fault-tolerant systems 2010 : (DYADEM-FTS 2010) : held at EDCC 2010 : Valencia, Spain : 27 April 2010. : 1st workshop on dynamic aspects in dependability models for fault tolerant systems : European dependable computing conference : Apr 2010, Valencia, Spain. (ACM International Conference Proceedings Series)
Paper図書
Association for Computing Machineryc2010.<M17-10-3523>
National Diet Library
  • Author Heading...ity Models for Fault-Tolerant Systems (1st : 2010 : Valencia, Spain...

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 : Grenoble, France, September 22-24, 2004 : proceedings. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 : Grenoble, France, September 22-24, 2004 : proceedings. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)
Paper図書
Springerc2004.<M17-05-117>
National Diet Library

On-line checking technologies for fault-tolerant systems

On-line checking technologies for fault-tolerant systems
Paper博士論文
Takashi Matsubara [著][Takashi Matsubara][2002]<UT51-2002-L589>
National Diet Library

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, Oldenburg, Germany, September 9-12, 2002 : proceedings. : Sep 2002, Oldenburg, Germany. (Lecture Notes in Computer Science ; 2469)

Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, Oldenburg, Germany, September 9-12, 2002 : proceedings. : Sep 2002, Oldenburg, Germany. (Lecture Notes in Computer Science ; 2469)
Paper図書
Springer-Verlagc2002.<M17-03-137>
National Diet Library

Formal techniques in real-time and fault-tolerant systems -- : Formal techniques in real-time and fault-tolerant systems : International symposium : 5th : Sep 1998, Lyngby, Denmark. (Lecture Notes in Computer Science ; 1486)

Formal techniques in real-time and fault-tolerant systems -- : Formal techniques in real-time and fault-tolerant systems : International symposium : 5th : Sep 1998, Lyngby, Denmark. (Lecture Notes in Computer Science ; 1486)
Paper図書
Springer1998.<M17-01-0415>
National Diet Library

Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems

Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems
Digital電子書籍・電子雑誌図書
1997
National Diet Library

Fault-tolerant systems : Pacific Rim international symposium : Dec 1997, Taipei, Taiwan.

Fault-tolerant systems : Pacific Rim international symposium : Dec 1997, Taipei, Taiwan.
Paper図書
IEEE1997.<M17-98-1672>
National Diet Library

Dependable computing for critical applications 7 -- : Dependable computing for critical applications : International working conference : 7th : Jan 1999, ------. (Dependable Computing and Fault-Tolerant Systems ; 12)

Dependable computing for critical applications 7 -- : Dependable computing for critical applications : International working conference : 7th : Jan 1999, ------. (Dependable Computing and Fault-Tolerant Systems ; 12)
Paper図書
IEEE Computer Society1999.<M17-01-0378>
National Diet Library

Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden. (Lecture Notes in Computer Science ; 1135)

Formal techniques in real-time and fault-tolerant systems : 4th International symposium : Sep 1996, Uppsala, Sweden. (Lecture Notes in Computer Science ; 1135)
Paper図書
Springer1996.<M17-00-0374>
National Diet Library

Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach [microform] / Ricky W. Butler and Sally C. Johnson (NASA reference publication ; 1348)

Techniques for modeling the reliability of fault-tolerant system s with the Markov state-space approach [microform] / Ricky W. Butler and Sally C. Johnson (NASA reference publication ; 1348)
Microform図書
1995<YCA-NAS 1.61:1348>
National Diet Library

Dependable computing for critical applications : International working conference : Santa Barbara, CA. (Dependable Computing and Fault-Tolerant Systems ; 4)

Dependable computing for critical applications : International working conference : Santa Barbara, CA. (Dependable Computing and Fault-Tolerant Systems ; 4)
Paper図書
Springer-Verlagc1991.<M17-91-0748>
National Diet Library
RSS