Pauline Kan

Publication Activity (10 Years)

Years Active: 1998-2000
Publications (10 Years): 0

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Kevin Lano, Kelly Androutsopoulos, Pauline Kan
Structuring Reactive Systems in B AMN. ICFEM (2000)
Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT (2000)
T. S. E. Maibaum, Pauline Kan, Kevin Lano
Systematising Reactive System Design. AMAST (1998)
Kevin Lano, Pauline Kan, Arturo Sanchez
Compositional Specification of Controllers for Batch Process Operations. ZUM (1998)
Kevin Lano, Pauline Kan, Arturo Sanchez
Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP (1998)