| 2002 |
|---|
| 6 | EE | 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: 232-237 |
| 5 | EE | Alena Griffiths,
Dennis Yim:
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions.
SCS 2002: 21-29 |
| 4 | EE | Brenton Atchison,
Alena Griffiths:
A Product-Based Assurance Model for Mixed-Integrity Markets.
SCS 2002: 55-62 |
| 1997 |
|---|
| 3 | EE | Alena Griffiths:
Modular reasoning in Object-Z.
APSEC 1997: 140-149 |
| 2 | EE | Alena Griffiths:
'self'-Conscious Objects in Object-Z.
TOOLS (25) 1997: 210-224 |
| 1996 |
|---|
| 1 | EE | Alena Griffiths:
An Extended Semantic Foundation For Object-Z.
APSEC 1996: 194- |
