Merkliste 
 1 Ergebnisse 
 
1

Verifying Weakly-Hard Real-Time Properties of Traffic Strea..:

Ahrendts, Leonie ; Quinton, Sophie ; Boroske, Thomas.
Is Part Of LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018).  , 2018