Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Modeling in event-b | Jean-Raymond Abrial | "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism… | OL16918349W |