Enhancing Event-B Pattern Год выпуска: 2013Автор: Eman Karam Elsayed,Gaber El-Sharawy and Enas El-SharawyИздательство: LAP Lambert Academic PublishingСтраниц: 64ISBN: 9783659385728Описание Event-B is a formal method for the system level modeling and analysis of dependable applications. Event-B language is for modelling and reasoning about complex and discrete systems. Also it is a notation used for developing mathematical model. In this book we proposed using Automatic theorem provers known as SMT-solvers with event-B pattern. The benefits of that are to reduce the proving effort, to reuse a model and to increase the degree of automation. The proposed approach has been applied successfully on two different case studies.
Похожие книги
Lawrence B. Lindsey. Economic Puppetmasters: Lessons from the Halls of Power. – М.: , 0. – 0 с. Steven B. Sample. The Contrarian's Guide to Leadership (J-B Warren Bennis Series). – М.: , 0. – 0 с. Anthony B. Miles. Sponsorship Recruitment 101-102: A Comprehensive Self-help Guide for Parents, Individuals and Organizations Worldwide Seeking Sponsorship. – М.: , 2004. – 0 с. Pavel Hruby. Model-Driven Design Using Business Patterns. – М.: , 2006. – 368 с. Joseph B. Atkins. Covering for the Bosses: Labor and the Southern Press. – М.: , 2008. – 224 с. Daniel B. Carr, Linda Williams Pickle. Visualizing Data Patterns with Micromaps (Chapman & Hall/CRC Interdisciplinary Statistics Series). – М.: , 2010. – 168 с. John B. Peatman. Embedded Design with the PIC18F452. – М.: , 0. – 0 с. Richard B. Stolley. LIFE: World War II : History's Greatest Conflict in Pictures. – М.: , 2005. – 352 с. Edward B. Fry Ph.D. The Spelling Teacher?s Lesson–a–Day. – М.: , 2010. – 256 с. William B Ball. Ball Past Has Another ?pattern? – Memoirs (cloth). – М.: , 1982. – 542 с. B BALASSA. Balassa Changing ?patterns? 3ed. – М.: , 1978. – 0 с. B BALASSA. Balassa Changing ?patterns? 3ed (cloth). – М.: , 1978. – 0 с. Donna B Gerdts. Hypothesis A/Hypothesis B – Linguistic Explorations in Honor of David M. Perlmutter. – М.: , 2010. – 528 с. Donna B Gerdts. Hypothesis A/Hypothesis B – Linguistic Explorations in Honor of David M. Perlmutter. – М.: , 2010. – 528 с. Gajanana Prabhu B and Prakash S. M. Loading Patterns, Physical Fitness and Bone Mineral Density. – М.: LAP Lambert Academic Publishing, 2012. – 160 с. Eman Karam Elsayed,Gaber El-Sharawy and Enas El-Sharawy. Enhancing Event-B Pattern. – М.: LAP Lambert Academic Publishing, 2013. – 64 с. Simon Kawuma and Robert Mugonza. Modeling in Event-B A Practical Approach for Systems Engineers. – М.: LAP Lambert Academic Publishing, 2015. – 96 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
мария юля вам поставили 4 говорит не был рассмотрен индивидуальная манера живописи но я думаю что он придерается в любом случае спасибо
