Книги з теми "Verification of control systems"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 книг для дослідження на тему "Verification of control systems".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
Tabuada, Paulo. Verification and Control of Hybrid Systems. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5.
Повний текст джерелаservice), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.
Знайти повний текст джерелаLempert, Robert J. Emerging technology systems and arms control. Santa Monica, CA: Rand, 1991.
Знайти повний текст джерелаApt, Kenneth E. A systems approach to chemical weapons verification. Los Alamos, N.M: Center for National Security Studies, Los Alamos National Laboratory, 1990.
Знайти повний текст джерелаVerification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.
Знайти повний текст джерелаDanielsson, Fredrik K. J. Off-line programming, verification and optimisation of industrial control systems. Leicester: De Montfort University, 2002.
Знайти повний текст джерелаM, Schwenk David, and US Army Engineering and Housing Support Center., eds. Standard HVAC control systems commissioning and quality verification user guide. Fort Belvoir, VA: U.S. Army Engineering and Housing Support Center, 1994.
Знайти повний текст джерелаL, Wilson C. Simple test procedure for image-based biometric verification systems. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.
Знайти повний текст джерела1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division., and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.
Знайти повний текст джерела1944-, Wise John A., Hopkin V. David, Stager Paul, and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Additional human factors issues. Daytona Beach, Fla: Embry-Riddle Aeronautical University Press, 1993.
Знайти повний текст джерелаs, Luis Alejandro Corte. Verification and scheduling techniques for real-time embedded systems. Linko ping: Linko pings universitet, 2005.
Знайти повний текст джерелаRamesh, S., and Prahladavaradan Sampath, eds. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4.
Повний текст джерелаFriedman, Melinda J. Verification and control of pressure transients and intrusion in distribution systems. Denver, Colo: AWWA Research Foundation and U.S. Environmental Protection Agency, 2004.
Знайти повний текст джерелаR, Sitz Joel, and Dryden Flight Research Facility, eds. Initial flight qualification and operational maintenance of X-29A flight software. Edwards, Calif: National Aeronautics and Space Administration, Ames Research Center, Dryden Flight Research Facility, 1989.
Знайти повний текст джерелаSaito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Знайти повний текст джерелаSaito, Jim. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Знайти повний текст джерелаCenter, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Знайти повний текст джерелаCenter, Ames Research, ed. Digital-flight-control-system software written in automated-engineering-design language: A user's guide of verification and validation tools. Moffett Field, Calif: National Aeronautics and Space Administration, Ames Research Center, 1988.
Знайти повний текст джерелаBoritz, Jefim Efrim. Computer control & audit guide. 9th ed. Waterloo, Ont: Centre for Accounting Research and Education, University of Waterloo, 1995.
Знайти повний текст джерелаBoritz, Jefim Efrim. Computer control & audit guide. 6th ed. Waterloo, Ont: Centre for Accounting Research and Education, University of Waterloo, 1987.
Знайти повний текст джерелаBoritz, Jefim Efrim. Computer control & audit guide. Waterloo, Ont: Centre for Information Systems Assurance, School of Accountancy, University of Waterloo, 1999.
Знайти повний текст джерелаJohn, Nowakowski, and Langley Research Center, eds. Flight guidance system validation using SPIN. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1998.
Знайти повний текст джерелаUnited States. National Aeronautics and Space Administration. Scientific and Technical Information Program., SRI International, and Langley Research Center, eds. Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. [Washington, D.C.?]: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, 1991.
Знайти повний текст джерелаJohn, Croft, and Goddard Space Flight Center, eds. Analytical derivation and verification of zero-gyro control for the IUE satellite. Greenbelt, MD: National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.
Знайти повний текст джерелаBowles, Tiffany. Analytical derivation and verification of zero-gyro control for the IUE satellite. Greenbelt, MD: National Aeronautics and Space Administration, Goddard Space Flight Center, 1989.
Знайти повний текст джерелаXian dai fei xing kong zhi xi tong de ping gu yu que ren fang fa: Advanced verification and clearance techniques for modern flight control systems. Beijing: Guo fang gong ye chu ban she, 2010.
Знайти повний текст джерелаSchuring, J. Design and experimental verification of a calculation method for frequency response analysis of digital control systems in a continuous environment. Amsterdam: National Aerospace Laboratory, 1985.
Знайти повний текст джерелаGM, R&D Workshop (2007 Bangalore India). Next generation design and verification methodologies for distributed embedded control systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007. [London?]: Springer, 2007.
Знайти повний текст джерелаCenter, NASA Glenn Research, ed. Verifying data integrity of electronically scanned pressure systems at the NASA Glenn Research Center. [Cleveland, Ohio]: National Aeronautics and Space Administration, Glenn Research Center, 2001.
Знайти повний текст джерелаC, Chien Calvin, Inyang Hilary I, Everett Lorne G, United States. Dept. of Energy., United States. Environmental Protection Agency., and E.I. du Pont de Nemours & Company., eds. Barrier systems for containment and environmental treatment: Advances in performance prediction and verification. Boca Raton, FL: CRC Press, 2005.
Знайти повний текст джерелаEthiopia health data quality review: System assessment and data verification. Addis Ababa, Ethiopia: Ethiopian Public Health Institute, 2016.
Знайти повний текст джерелаW, Moore James. Conventional arms control and disarmament in Europe: A model of verification system effectiveness. Ottawa: The Division, 1990.
Знайти повний текст джерелаCanada. Arms Control and Disarmament Division., ed. Conventional arms control and disarmament in Europe: A model of verification system effectiveness. Ottawa, Ont., Canada: The Division, 1989.
Знайти повний текст джерелаReducing Emissions from Deforestation and Forest Degradation (Program). National forest monitoring systems: Monitoring and measurement, reporting and verification (M & MRV) in the context of REDD+ activities. Geneva: UN-REDD Programme Secretariat, 2013.
Знайти повний текст джерелаServices, United States Congress Senate Committee on Armed. Efforts to determine the status of Iraqi weapons of mass destruction and related programs: Hearing before the Committee on Armed Services, United States Senate, One Hundred Eighth Congress, second session, January 28, 2004. Washington: U.S. G.P.O., 2004.
Знайти повний текст джерелаL, Di Vito Ben, and Langley Research Center, eds. Formal design and verification of a reliable computing platform for real-time control: Phase 2 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.
Знайти повний текст джерелаButler, Ricky W. Formal design and verification of a reliable computing platform for real-time control: Phase 3 results. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.
Знайти повний текст джерелаOffice, General Accounting. Nonproliferation: Further improvements needed in U.S. efforts to counter threats from man-portable air defense systems : report to congressional committees. Washington, D.C. (P.O. Box 37050, Washington 20013): U.S. General Accounting Office, 2004.
Знайти повний текст джерелаKambiz, Salari, ed. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.
Знайти повний текст джерелаLopez, Damian. Seismic classification of military vehicles using statistical pattern recognition. Bochum: UVB Universitätsverlag Dr. N. Brockmeyer, 1995.
Знайти повний текст джерелаYakimova, Vilena, Svetlana Pankova, and Sergey Khmura. Development of the financial control system of foreign economic activity of organizations. ru: Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/02068-5.
Повний текст джерелаHybrid systems III: Verification and control. Berlin: Springer, 1996.
Знайти повний текст джерелаGerber, Christian. Implementation and Verification of Distributed Control Systems. Logos Verlag Berlin, 2011.
Знайти повний текст джерелаVerification and Synthesis of Hybrid Systems (Control Engineering). Birkhäuser Boston, 2006.
Знайти повний текст джерелаTabuada, Paulo. Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2010.
Знайти повний текст джерелаAbdelwahed, Sherif Salah. Interacting discrete event systems: Modelling, verification, and supervisory control. 2002.
Знайти повний текст джерелаEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.
Знайти повний текст джерелаEngel, Avner, and A. Engel. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.
Знайти повний текст джерелаEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.
Знайти повний текст джерелаEngel, Avner. Verification, Validation, and Testing of Engineered Systems. Wiley & Sons, Incorporated, John, 2010.
Знайти повний текст джерела