Type: Date:

Number of publications matching the search criterion: 6

Journal article (1)

Temporal Skeletons for Verifying Time (Nov 2005)
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
ACM SIGAda Letters

Conference/Workshop Paper (2)

Evaluation of Dealay queues for a Ravenscar Hardware KErnel (Mar 2006)
Gustaf Naeser, Kristina Lundqvist, Johan Furunäs-Åkesson
Workshop on Unique Chips and Systems UCAS-2

Component-based Approaches to Run-Time Kernel Specification and Verification (Jul 2005)
Gustaf Naeser, Kristina Lundqvist
17th Euromicro Conference on Real-Time Systems ECRTS05

Report - MRTC (3)

Transforming Temporal Skeletons to Timed Automata (Aug 2005)
Gustaf Naeser

A Real-Time Kernel for Ravenscar (Aug 2005)
Gustaf Naeser

Evaluation of Delay Queues for a Ravenscar Hardware Kernel (Apr 2005)
Gustaf Naeser, Johan Furunäs-Åkesson

Items per page: