Aarhus University Seal / Aarhus Universitets segl

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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the 18th International Overture Workshop
RedaktørerJohn Fitzgerald, Tomohiro Oda, Hugo Daniel Macedo
Antal sider16
Udgivelsesår19 jan. 2021
Sider20-35
StatusUdgivet - 19 jan. 2021
Begivenhed18th International Overture Workshop - Online
Varighed: 7 dec. 2020 → …

Workshop

Workshop18th International Overture Workshop
LokationOnline
Periode07/12/2020 → …

Se relationer på Aarhus Universitet Citationsformater

ID: 208522541