Run-Time Guarantees for Real-Time Systems—The USES Approach
Autor: | Christian Ferdinand, Reinhard Wilhelm, Jörn Schneider, Marc Langenbach, Daniel Kästner, Florian Martin, Stephan Thesing, Henrik Theiling, Michael Schmidt |
---|---|
Rok vydání: | 1999 |
Předmět: | |
Zdroj: | Informatik aktuell ISBN: 9783540664505 GI Jahrestagung |
DOI: | 10.1007/978-3-662-01069-3_60 |
Popis: | The USES group follows an approach to compute reliable runtime guarantees which is based on well-understood theoretical foundations, practical in use, and efficient. |
Databáze: | OpenAIRE |
Externí odkaz: |