Conte aos seus amigos sobre este item:
Enhancing Event-b Pattern Enas El-sharawy
Preço
€ 131,49
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 27 de out - 4 de nov
Receba avisos sobre novos lançamentos de Enas El-sharawy
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Enhancing Event-b Pattern
Enas El-sharawy
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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de abril de 2013 |
| ISBN13 | 9783659385728 |
| Editoras | LAP LAMBERT Academic Publishing |
| Páginas | 64 |
| Dimensões | 150 × 4 × 225 mm · 113 g |
| Idioma | Alemão |