search result

Cover von Proceedings of the 6th international workshop on real-time Ada issues
Ravenscar, North Yorkshire, UK, 1 - 4th September 1992
Search for this author
Year: 1993
Publisher: New York, ACM
Series: Ada letters : 13. 1993, 2
Media group: KONGRESSBERICHT
Cover von Concurrent programming
Author: Burns, Alan; Davies, Geoffrey Search for this author
Year: 1993
Publisher: Wokingham, Addison-Wesley
Series: International computer science series
Media group: MONOGRAPHIE
Cover von Realism in Statistical Analysis of Worst Case Execution Times

Realism in Statistical Analysis of Worst Case Execution Times

Year: 2010
Media group: ARTICLE
Cover von Real-Time Systems and Programming Languages
Ada, Real-Time Java and C / Real-Time POSIX
Author: Burns, Alan; Wellings, Andrew J. Search for this author
Year: 2009
Publisher: Harlow, Addison-Wesley
Series: International computer science series
Media group: MONOGRAPHIE
Cover von Concurrent and real-time programming in Ada
Author: Burns, Alan; Wellings, Andrew J. Search for this author
Year: 2007
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von A review of Ada tasking
Author: Burns, Alan; Lister, Andrew M.; Wellings, Andrew J. Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 262
Media group: MONOGRAPHIE
Cover von Worst-case execution-time analysis; 2/3
special issue : S. 115 - 294
Search for this author
Year: 2000
Publisher: Boston, Kluwer
Real-time systems
Count: 2/3
Media group: SPECIAL ISSUE
Cover von Real-Time Systems
the past, the present, and the future
Author: Audsley, Neil; Baruah, Sanjoy K. Search for this author
Year: 2013
Publisher: Charleston, CreateSpace Independent Publishing Platform
Media group: MONOGRAPHIE
Cover von An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

Year: 2022
Media group: LIPIcs
Cover von The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0