Книги з теми "Automatic fault analysis"

NASA Formal Methods Workshop (4th 1997 Hampton, Va.). Fourth NASA Langley Formal Methods Workshop. [Hampton, Va: National Aeronautics and Space Administration, Langley Research Center], 1997.

NASA Formal Methods Workshop (5th 2000 Williamsburg, Va.). Lfm2000: Fifth NASA Langley Formal Methods Workshop : proceedings of a workshop sponsored by the National Aeronautics and Space Administration and held at the Radisson Fort Magruder Hotel & Conference Center, Williamsburg Virginia, June 13-15, 2000. [Hampton, Va: National Aeronautics and Space Administration, Langley Research Center], 2000.

Symposium on System Modelling, Fault Diagnosis, and Fuzzy Logic and Control (1997 Budapest and Miskolc, Hungary). Proceedings of the Symposium on System Modelling, Fault Diagnosis, and Fuzzy Logic and Control: Budapest and Miskolc, Hungary, May 6-10, 1997. Budapest: Technical University of Budapest, 1997.

1992), NASA Formal Methods Workshop (2nd. Second NASA Formal Workshop 1992: Proceedings of a workshop. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2012. http://dx.doi.org/10.1002/9781118481950.

Breier, Jakub, Xiaolu Hou, and Shivam Bhasin, eds. Automated Methods in Cryptographic Fault Analysis. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-11333-9.

Bavuso, Salvatore J. HiRel: Hybrid Automated Reliability Predictor (HARP) Integrated Reliability Tool System (version 7.0). Hampton, Va: Langley Research Center, 1994.

Brat, Guillaume. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

FORMATS 2004 (2004 Grenoble, France). 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. Berlin: Springer, 2004.

Y, Lakhnech, Yovine Sergio, LINK (Online service), and FTRTFT 2004 (2004 : Grenoble, France), eds. Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on formal modeling 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. Berlin: Springer, 2004.

Xia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.

Xia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Limited, John, 2013.

Xia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.

Xia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.

Xia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.

Mahmoud, Mufeed, Youmin Zhang, and Jin Jiang. Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis. Springer London, Limited, 2003.

Analysis And Synthesis Of Faulttolerant Control Systems. John Wiley & Sons Inc, 2014.

Jin, Jiang, Mufeed Mahmoud, and Youmin Zhang. Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis (Lecture Notes in Control and Information Sciences). Springer, 2003.

Goodloe, Alwyn, and Suzette Person. NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings. Springer, 2012.

W, Butler Ricky, United States. National Aeronautics and Space Administration, and Langley Research Center, eds. NASA Formal Methods Workshop 1990: Proceedings of a workshop sponsored by the National Aeronautics and Space Administration, Washington, D.C., and held at Langley Research Center, Hampton,Virginia, August 20-23 1990. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.

Optimal Automated Process Fault Analysis. John Wiley & Sons, 2012.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. Wiley & Sons, Limited, John, 2013.

Fickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. Wiley & Sons, Incorporated, John, 2012.

Breier, Jakub, Xiaolu Hou, and Shivam Bhasin. Automated Methods in Cryptographic Fault Analysis. Springer, 2019.

Nasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings. Springer, 2011.

Kezunovic, Mladen. Automated Fault and Disturbance Analysis: Smart Analysis for Smart Grids. Wiley & Sons, Incorporated, John, 2018.

Brat, Guillaume, Neha Rungta, and Arnaud Venet. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer, 2013.

(Editor), Yassine Lakhnech, and Sergio Yovine (Editor), eds. Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed ... (Lecture Notes in Computer Science). Springer, 2004.