60th ACM/IEEE Design Automation Conference

Event name
60th ACM/IEEE Design Automation Conference
 
Event type
Event for scientific audience
 
Start date
09-07-2023
End date
13-07-2023
 
Location
San Francisco
Country
United States
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu TD-Magic: From Pictures of Timing Diagrams To Formal SpecificationsInproceedings Konferenzbeitrag 15-Sep-2023