Aragog: Scalable Runtime Verification of Shardable Networked Systems

Bibliographische Detailangaben

Veröffentlicht in:	USENIX Symposium on Operating Systems Design and Implementation (14. : 2020 : Online) 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) ; Volume 2 of 2
1. Verfasser:	Yaseen, Nofel (VerfasserIn)
Weitere Verfasser:	Arzani, Behnaz (VerfasserIn), Beckett, Ryan (VerfasserIn), Ciraci, Selim (VerfasserIn), Liu, Vincent (VerfasserIn)
Pages:	14
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!