System Verification

Похожие книги

1. Robert O. Lewis. Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software (New Dimensions In Engineering Series). – М.: , 0. – 0 с.
   
2. Roy H. Campbell, Prasad G. Naldurg. Security and Survivability: Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems. – М.: , 2008. – 240 с.
   
3. Jeffrey O. Grady. System Synthesis: Product and Process Design. – М.: , 2010. – 574 с.
   
4. Applications of Neural Networks in High Assurance Systems (Studies in Computational Intelligence). – М.: , 2010. – 280 с.
   
5. Masahiro Fujita. Verification Techniques for System-Level Design. – М.: , 2010. – 256 с.
   
6. John R. Vacca. Biometric Technologies and Verification Systems. – М.: , 2010. – 656 с.
   
7. Jeffrey O. Grady. System Verification. – М.: , 2010. – 368 с.
   
8. Validation, Verification and Test of Knowledge–based Systems. – М.: , 1991. – 240 с.
   
9. Louis G. Birta, Gilbert Arbez. Modelling and Simulation: Exploring Dynamic System Behaviour. – М.: , 2011. – 454 с.
   
10. Theodore T. Allen. Introduction to Discrete Event Simulation and Agent-based Modeling: Voting Systems, Health Care, Military, and Manufacturing. – М.: , 2011. – 215 с.
    
11. Samir Nanavati, Michael Thieme, Raj Nanavati. Biometrics: Identity Verification in a Networked World. – М.: Wiley, 2002. – 320 с.
    
12. Grant Martin, Brian Bailey, Andrew Piziali. ESL Design and Verification: A Prescription for Electronic System Level Methodology. – М.: , 2007. – 488 с.
    
13. Doron Drusinsky. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking. – М.: , 2006. – 400 с.
    
14. Michael Polya. Using Simulation in Operational Test and Evaluation of C2 Systems. – М.: LAP Lambert Academic Publishing, 2009. – 104 с.
    
15. Umakanta Nanda and Kamala Kanta Mahapatra. Application Specific Instruction Set Processor Design. – М.: LAP Lambert Academic Publishing, 2014. – 68 с.
    
16. Avantika Fadnis. Harmonics in power system. – М.: LAP Lambert Academic Publishing, 2012. – 100 с.
    
17. Ujjal Kumar Bhowmik. Fingerprint Verification. – М.: LAP Lambert Academic Publishing, 2009. – 76 с.
    

Образцы работ

Задайте свой вопрос по вашей теме

		Гладышева Марина Михайловна marina@studentochka.ru +7 911 822-56-12 с 9 до 21 ч. по Москве.