ACM Transactions on Embedded Computing Systems

Title Titel

e-ISSN

1558-3465

ISSN

1539-9087

Publisher Herausgeber

ASSOC COMPUTING MACHINERY

Publisher's Address Herausgeber Adresse

1601 Broadway, 10th Floor, NEW YORK, Usa, NY, 10019-7434

Listed in SCI Aufgelistet im SCI

Peer reviewed Begutachtet

Filter:

Subject: Information-flow

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan	Mining Hyperproperties using Temporal Logics	Article Artikel	Sep-2023