Books on the topic 'Automatic fault analysis'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 31 books for your research on the topic 'Automatic fault analysis.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
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.
Find full textNASA 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.
Find full textSymposium 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.
Find full text1992), 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.
Find full textFickelscherer, 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.
Full textBreier, 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.
Full textBavuso, Salvatore J. HiRel: Hybrid Automated Reliability Predictor (HARP) Integrated Reliability Tool System (version 7.0). Hampton, Va: Langley Research Center, 1994.
Find full textBrat, Guillaume. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textFORMATS 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.
Find full textY, 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.
Find full textXia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.
Find full textXia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Limited, John, 2013.
Find full textXia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.
Find full textXia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.
Find full textXia, Yuanqing, and Magdi S. Mahmoud. Analysis and Synthesis of Fault-Tolerant Control Systems. Wiley & Sons, Incorporated, John, 2013.
Find full textMahmoud, Mufeed, Youmin Zhang, and Jin Jiang. Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis. Springer London, Limited, 2003.
Find full textAnalysis And Synthesis Of Faulttolerant Control Systems. John Wiley & Sons Inc, 2014.
Find full textJin, Jiang, Mufeed Mahmoud, and Youmin Zhang. Active Fault Tolerant Control Systems: Stochastic Analysis and Synthesis (Lecture Notes in Control and Information Sciences). Springer, 2003.
Find full textGoodloe, Alwyn, and Suzette Person. NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings. Springer, 2012.
Find full textW, 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.
Find full textOptimal Automated Process Fault Analysis. John Wiley & Sons, 2012.
Find full textFickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.
Find full textFickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.
Find full textFickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. American Institute of Chemical Engineers, 2012.
Find full textFickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. Wiley & Sons, Limited, John, 2013.
Find full textFickelscherer, Richard J., and Daniel L. Chester. Optimal Automated Process Fault Analysis. Wiley & Sons, Incorporated, John, 2012.
Find full textBreier, Jakub, Xiaolu Hou, and Shivam Bhasin. Automated Methods in Cryptographic Fault Analysis. Springer, 2019.
Find full textNasa Formal Methods Third International Symposium Nfm 2011 Pasadena Ca Usa April 1820 2011 Proceedings. Springer, 2011.
Find full textKezunovic, Mladen. Automated Fault and Disturbance Analysis: Smart Analysis for Smart Grids. Wiley & Sons, Incorporated, John, 2018.
Find full textBrat, 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.
Find full text(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.
Find full text