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