View in EDS PDF Full Text

Mining Hyperproperties using Temporal Logics.

Saved in:
Bibliographic Details
Title: Mining Hyperproperties using Temporal Logics.
Authors: BARTOCCI, EZIO1, ezio.bartocci@tuwien.ac.at, MATEIS, CRISTINEL2, cristinel.mateis@ait.ac.at, NESTERINI, ELEONORA3, eleonora.nesterini@tuwien.ac.at, NIČKOVIĆ, DEJAN2, dejan.nickovic@ait.ac.at
Source: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-25, 25p
Database: Applied Science & Technology Source
Description
ISSN:15399087
DOI:10.1145/3609394