( en | de | ru )

 

Disambiguation of "Griffiths, Alena"

Author of the publication

copydeleteadd this publication to your clipboard
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions.

, and . SCS, volume 15 of CRPIT, page 21-29. Australian Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gordian Griffiths

Patrick Griffiths

Michael Griffiths

Patrick Griffiths

Philip Griffiths

 

Other publications of authors with the same name

A Product-Based Assurance Model for Mixed-Integrity Markets., and . SCS, volume 15 of CRPIT, page 55-62. Australian Computer Society, (2002)An Extended Semantic Foundation For Object-Z.. APSEC, page 194-. IEEE Computer Society, (1996)OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy., , and . ICECCS, page 232-237. IEEE Computer Society, (2002)Engineering SCADA Products for Use in Safety-Related Systems., and . SSS, page 76-90. Springer, (2002)Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions., and . SCS, volume 15 of CRPIT, page 21-29. Australian Computer Society, (2002)Modular reasoning in Object-Z.. APSEC, page 140-149. IEEE Computer Society, (1997)'self'-Conscious Objects in Object-Z.. TOOLS (25), page 210-224. IEEE Computer Society, (1997)A Formal semantics to support modular reasoning in object-Z. University of Queensland, Australia, (1998)