There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN: 9781139195881

Publication date (Print): 2010

Publication date (Online): 2009

DOI: 10.1017/CBO9781139195881

SO-VID: d87e03c8-7980-441c-a0ec-1545f123de1a

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 101

Rodin: an open toolset for modelling and reasoning in Event-B
Authors: Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede …
Formal Specification and Verification of Autonomous Robotic Systems
Authors: Matt Luckcuck, Marie Farrell, Louise A. Dennis …
Real-Time Animation for Formal Specification
Authors: Dominique Méry, Neeraj Singh

See all cited by

Modeling in Event-B

Read this book at