0 Mėgstami
0Krepšelis
57,42 
57,42 
2025-07-31 57.4200 InStock
Nemokamas pristatymas į paštomatus per 16-20 darbo dienų užsakymams nuo 19,00 

Knygos aprašymas

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.

Informacija

Autorius: Eman Karam Elsayed, Gaber El-Sharawy, Enas El-Sharawy,
Leidėjas: LAP LAMBERT Academic Publishing
Išleidimo metai: 2013
Knygos puslapių skaičius: 64
ISBN-10: 3659385727
ISBN-13: 9783659385728
Formatas: Knyga minkštu viršeliu
Kalba: Anglų
Žanras: Email: consumer / user guides

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Enhancing Event-B Pattern“

Būtina įvertinti prekę

Goodreads reviews for „Enhancing Event-B Pattern“