Run-Time Guarantees for Real-Time Systems - The USES Approach.

Christian Ferdinand, Daniel Kstner, Marc Langenbach, Florian Martin, Michael Schmidt, Jrn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm

Browse the full GI paper archive.