Application of formal analysis to enhancing trust in a complex grid-based operating system
Aziz, Benjamin (2012) Application of formal analysis to enhancing trust in a complex grid-based operating system. In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012.
Full text not available from this repository.
Access this via: https://doi.org/10.1145/2304656.2304663
| Item Type: | Conference or Workshop Item |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 08:54 |
| Last Modified: | 13 Dec 2023 08:54 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18894 |
Actions (login required)
 |
Edit Item |