|
Search the dblp DataBase
Alena Griffiths:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alena Griffiths
An Extended Semantic Foundation For Object-Z. [Citation Graph (0, 0)][DBLP] APSEC, 1996, pp:194-0 [Conf]
- Alena Griffiths
Modular reasoning in Object-Z. [Citation Graph (0, 0)][DBLP] APSEC, 1997, pp:140-149 [Conf]
- Leesa Murray, Alena Griffiths, Paul A. Strooper
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. [Citation Graph (0, 0)][DBLP] ICECCS, 2002, pp:232-237 [Conf]
- Brenton Atchison, Alena Griffiths
A Product-Based Assurance Model for Mixed-Integrity Markets. [Citation Graph (0, 0)][DBLP] SCS, 2002, pp:55-62 [Conf]
- Alena Griffiths, Dennis Yim
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. [Citation Graph (0, 0)][DBLP] SCS, 2002, pp:21-29 [Conf]
- Alena Griffiths
'self'-Conscious Objects in Object-Z. [Citation Graph (0, 0)][DBLP] TOOLS (25), 1997, pp:210-224 [Conf]
Search in 0.001secs, Finished in 0.001secs
|