ACM Transactions on Embedded Computing Systems

Title Titel
ACM Transactions on Embedded Computing Systems
 
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
 
 

Publications Publikationen

Filter:
Author:  Bartocci, Ezio

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Hyperproperties using Temporal LogicsArticle Artikel Sep-2023
2Meiyi, Ma ; Stankovic, John ; Bartocci, Ezio ; Feng, Lu Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical SystemsArtikel Article 2021