Model Checking

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

1. Marko Nordquist. Towards Improved Security Management Practice: Designing an Organizational Model Procedure for the Implementation of Information Security Management in Heterogeneous Information Management. – М.: , 0. – 0 с.
   
2. Colin Doeg. Crisis Management in the Food and Drinks Industry: A Practical Approach (Practical Approaches to Food Control and Food Quality Series). – М.: , 2005. – 0 с.
   
3. Helmut LA?tkepohl. New Introduction to Multiple Time Series Analysis. – М.: , 2006. – 764 с.
   
4. Jonathan Swan. Practical Financial Modelling, Second Edition: A guide to current practice. – М.: CIMA Publishing, 2008. – 304 с.
   
5. Rob Davis. ARIS Design Platform: Advanced Process Modelling and Administration. – М.: Springer, 2008. – 408 с.
   
6. Don Tapping. The Simply Lean Pocket Guide - Making Great Organizations Better Through PLAN-DO-CHECK-ACT (PDCA) Kaizen Activities. – М.: MCS Media, Inc., 2008. – 240 с.
   
7. Э.М. Кларк, О.Грамберг, Д.Пелед. Верификация моделей программ. Model Checking. – М.: МЦНМО, 2002. – 416 с.
   
8. Edmund Clarke. Model Checking. – М.: , 2000. – 334 с.
   
9. Brad Hammler. Model Checking. – М.: , 2001. – 126 с.
   
10. Doron Drusinsky. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking. – М.: , 2006. – 400 с.
    
11. Ю.Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM). – СПб.: БХВ-Петербург, 2010. – 552 с.
    
12. Hana Chockler. Coverage Metrics for Model Checking. – М.: LAP Lambert Academic Publishing, 2011. – 144 с.
    
13. Raghavendra K. R. Model-checking infinite state systems for information flow security. – М.: LAP Lambert Academic Publishing, 2014. – 160 с.
    
14. Raghavendra Kagalavadi Ramesh,Deepak D'Souza and Barbara Sprick. Model checking trace-based information flow properties. – М.: LAP Lambert Academic Publishing, 2012. – 64 с.
    
15. Ashish Kumar Dwivedi. Formalization and Model Checking of Software Architectural Style. – М.: LAP Lambert Academic Publishing, 2015. – 80 с.
    
16. Wei Ding. Using Model Checking to Generate Test Cases for Critical Systems. – М.: LAP Lambert Academic Publishing, 2010. – 88 с.
    
17. Guido Scatena. Abstract Probabilistic Semantics for the Analysis of Bio Sys Models. – М.: LAP Lambert Academic Publishing, 2012. – 176 с.
    

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

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

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