Написать рефераты, курсовые и дипломы самостоятельно. Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Enhancing Event-B Pattern


Похожие книги   Готовые работы

Год выпуска: 2013
Автор: Eman Karam Elsayed,Gaber El-Sharawy and Enas El-Sharawy
Издательство: LAP Lambert Academic Publishing
Страниц: 64
ISBN: 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.

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

  1. Lawrence B. Lindsey. Economic Puppetmasters: Lessons from the Halls of Power. – М.: , 0. – 0 с.
  2. Steven B. Sample. The Contrarian's Guide to Leadership (J-B Warren Bennis Series). – М.: , 0. – 0 с.
  3. Anthony B. Miles. Sponsorship Recruitment 101-102: A Comprehensive Self-help Guide for Parents, Individuals and Organizations Worldwide Seeking Sponsorship. – М.: , 2004. – 0 с.
  4. Pavel Hruby. Model-Driven Design Using Business Patterns. – М.: , 2006. – 368 с.
  5. Joseph B. Atkins. Covering for the Bosses: Labor and the Southern Press. – М.: , 2008. – 224 с.
  6. Daniel B. Carr, Linda Williams Pickle. Visualizing Data Patterns with Micromaps (Chapman & Hall/CRC Interdisciplinary Statistics Series). – М.: , 2010. – 168 с.
  7. John B. Peatman. Embedded Design with the PIC18F452. – М.: , 0. – 0 с.
  8. Richard B. Stolley. LIFE: World War II : History's Greatest Conflict in Pictures. – М.: , 2005. – 352 с.
  9. Edward B. Fry Ph.D. The Spelling Teacher?s Lesson–a–Day. – М.: , 2010. – 256 с.
  10. William B Ball. Ball Past Has Another ?pattern? – Memoirs (cloth). – М.: , 1982. – 542 с.
  11. B BALASSA. Balassa Changing ?patterns? 3ed. – М.: , 1978. – 0 с.
  12. B BALASSA. Balassa Changing ?patterns? 3ed (cloth). – М.: , 1978. – 0 с.
  13. Donna B Gerdts. Hypothesis A/Hypothesis B – Linguistic Explorations in Honor of David M. Perlmutter. – М.: , 2010. – 528 с.
  14. Donna B Gerdts. Hypothesis A/Hypothesis B – Linguistic Explorations in Honor of David M. Perlmutter. – М.: , 2010. – 528 с.
  15. Gajanana Prabhu B and Prakash S. M. Loading Patterns, Physical Fitness and Bone Mineral Density. – М.: LAP Lambert Academic Publishing, 2012. – 160 с.
  16. Eman Karam Elsayed,Gaber El-Sharawy and Enas El-Sharawy. Enhancing Event-B Pattern. – М.: LAP Lambert Academic Publishing, 2013. – 64 с.
  17. Simon Kawuma and Robert Mugonza. Modeling in Event-B A Practical Approach for Systems Engineers. – М.: LAP Lambert Academic Publishing, 2015. – 96 с.

Посмотреть другие результаты поиска

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

Тема и предметТип и объем работы
Способна ли административная реформа ослабить "бюрократическую болезнь" чиновников?
Государственное управление 		Реферат
20 стр.
Нравственные и психологические особенности управленческого труда государственного служащего
Государственное управление 		Диплом
70 стр.
Стиль управления и социально-психологический климат
Теоретические основы электротехники (ТОЭ) 		Диплом
64 стр.
Место event-маркетинга в системе BTL кампании на примере
Бизнес-планирование 		Диплом
109 стр.

Искать другие темы


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

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Анюта
Спасибо вам большое за консультацию, больше замечаний нету)