1763 results in Software Engineering and Development
Modeling in Event-B
- System and Software Engineering
-
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010
Acknowledgments
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp xxv-xxvi
-
- Chapter
- Export citation
12 - Routing algorithm for a mobile agent
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 387-405
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 1-23
-
- Chapter
- Export citation
17 - Train system
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 508-549
-
- Chapter
- Export citation
5 - The Event-B modeling notation and proof obligation rules
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 176-203
-
- Chapter
- Export citation
16 - A location access controller
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 481-507
-
- Chapter
- Export citation
7 - Development of a concurrent program
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 227-257
-
- Chapter
- Export citation
4 - A simple file transfer protocol
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 149-175
-
- Chapter
- Export citation
6 - Bounded re-transmission protocol
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 204-226
-
- Chapter
- Export citation
10 - Leader election on a ring-shaped network
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 353-366
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp i-iv
-
- Chapter
- Export citation
9 - Mathematical language
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 306-352
-
- Chapter
- Export citation
15 - Development of sequential programs
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 446-480
-
- Chapter
- Export citation
Contents
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp v-x
-
- Chapter
- Export citation
18 - Problems
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 550-583
-
- Chapter
- Export citation
Prologue: Faultless systems – yes we can!
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp xi-xxiv
-
- Chapter
- Export citation
13 - Leader election on a connected graph network
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 406-416
-
- Chapter
- Export citation
11 - Synchronizing a tree-shaped network
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 367-386
-
- Chapter
- Export citation
14 - Mathematical models for proof obligations
-
- Book:
- Modeling in Event-B
- Published online:
- 05 March 2013
- Print publication:
- 13 May 2010, pp 417-445
-
- Chapter
- Export citation