Pauline Kan

According to our database1, Pauline Kan authored at least 6 papers between 1998 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Structuring specifications of reactive systems using B.
PhD thesis, 2006

2000
Structuring Reactive Systems in B AMN.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Invariant-Based Synthesis of Fault-Tolerant Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998
Compositional Specification of Controllers for Batch Process Operations.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Linking Hazard Analysis to Formal Specification and Design in B.
Proceedings of the Computer Safety, 1998

Systematising Reactive System Design.
Proceedings of the Algebraic Methodology and Software Technology, 1998


  Loading...