Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Engineering software reuse for on-board embedded real-time systems
Software—Practice & Experience
Real-time programming safety in Java and Ada
ACM SIGAda Ada Letters
Tasking deadlocks in programs with the full Ada 95
ACM SIGAda Ada Letters
AspectAda: aspect oriented programming for ada95
Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
Low-latency time-portable real-time programming with Exotasks
ACM Transactions on Embedded Computing Systems (TECS)
System level hardware design and simulation with SystemAda
ACM SIGAda Ada Letters
SystemAda: an ada based system-level hardware description language
ACM SIGAda Ada Letters
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |