Merkliste 
 1 Ergebnisse 
 
1

CleanET : enabling timing validation for complex automot..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Vilardell, Sergi ; Serra, Isabel ; Tabani, Hamid... - p. 554-563 , 2020