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