Enhancing Event-b Pattern - Enas El-sharawy - Books - LAP LAMBERT Academic Publishing - 9783659385728 - April 25, 2013
In case cover and title do not match, the title is correct

Enas El-sharawy
Enhancing Event-b Pattern

Price
HK$ 308
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 3 - 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 25, 2013
ISBN13 9783659385728
Publishers LAP LAMBERT Academic Publishing
Pages 64
Dimensions 150 × 4 × 225 mm   ·   113 g
Language German  

See all of Enas El-sharawy ( e.g. Paperback Book )