Modelling the HUBCAP Sandbox Architecture In VDM: A Study In Security

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: T. Kulik, H. D. Macedo, P. Talasila, P. G. Larsen

Journal title: Proceedings of the 18th International Overture Workshop

Journal publisher: N/A (arXiV)

Published year: 2021

Published pages: 20-34