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
NZ$ 68
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 27 - Aug 6
Get notified about new Enas El-sharawy releases

Our customers say:

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

Not rated yet

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 )