View in EDS

Gray-box runtime enforcement of hyperproperties.

Saved in:
Bibliographic Details
Title: Gray-box runtime enforcement of hyperproperties.
Authors: Hsu, Tzu-Han1, tzuhan@msu.edu, Oliveira da Costa, Ana2, ana.costa@ist.ac.at, Wintenberg, Andrew3,4, awintenb@umich.edu, Bartocci, Ezio5, ezio.bartocci@tuwien.ac.at, Bonakdarpour, Borzoo1, borzoo@msu.edu
Source: Acta Informatica; Sep2025, Vol. 62 Issue 3, p1-33, 33p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first