 | 2000 |
|---|
| 5 |       | Kevin Lano,
David Clark,
Kelly Androutsopoulos,
Pauline Kan:
Invariant-Based Synthesis of Fault-Tolerant Systems.
FTRTFT 2000: 46-57 |
| 4 | | Kevin Lano,
Kelly Androutsopoulos,
Pauline Kan:
Structuring Reactive Systems in B AMN.
ICFEM 2000: 25-34 |
| 1998 |
|---|
| 3 | | T. S. E. Maibaum,
Pauline Kan,
Kevin Lano:
Systematising Reactive System Design.
AMAST 1998: 17-22 |
| 2 | | Kevin Lano,
Pauline Kan,
Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B.
SAFECOMP 1998: 60-74 |
| 1 |  | Kevin Lano,
Pauline Kan,
Arturo Sanchez:
Compositional Specification of Controllers for Batch Process Operations.
ZUM 1998: 250-264 |
