Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Precise response time analysis for Ravenscar kernels
IRTAW '02 Proceedings of the 11th international workshop on Real-time Ada workshop
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
Defining New Non-preemptive Dispatching and Locking Policies for Ada
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Execution-time clocks and Ravenscar kernels
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Adding temporal annotations and associated verification to the Ravenscar profile
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Hi-index | 0.00 |