Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Hierarchical Verification Environment
Cant, T., Mahony, B., McCarthy, J. and Vu, L.
This paper describes The HIVE (Hierarchical Verification Environment), currently under development by DSTO. The HIVE is a new approach to the development, evaluation and certification of complex critical systems. The HIVE aims to provide a unified framework in which entire design projects can be described.
Cite as: Cant, T., Mahony, B., McCarthy, J. and Vu, L. (2005). Hierarchical Verification Environment. In Proc. Tenth Australian Workshop on Safety-Related Programmable Systems (SCS 2005), Sydney, Australia. CRPIT, 55. Cant, T., Ed. ACS. 47-57.
(from crpit.com)
(local if available)
