Alena Griffiths

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Publications

Leesa Murray, Alena Griffiths, Paul A. Strooper
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. ICECCS (2002)
Alena Griffiths, Dennis Yim
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. SCS (2002)
Brenton Atchison, Alena Griffiths
Engineering SCADA Products for Use in Safety-Related Systems. SSS (2002)
Brenton Atchison, Alena Griffiths
A Product-Based Assurance Model for Mixed-Integrity Markets. SCS (2002)
Alena Griffiths
'self'-Conscious Objects in Object-Z. TOOLS (25) (1997)
Alena Griffiths
Modular reasoning in Object-Z. APSEC (1997)
Alena Griffiths
An Extended Semantic Foundation For Object-Z. APSEC (1996)