Advancing Ada 9X solutions in real time avionics computers
ACM SIGAda Ada Letters
Verus: a tool for quantitative analysis of finite-state real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Building Large, Complex, Distributed Safety-Critical OperatingSystems
Real-Time Systems - Special issue on safety-critical systems
Engineering and Analysis of Fixed Priority Schedulers
IEEE Transactions on Software Engineering
Using MTBDDs for Discrete Timed Symbolic Model Checking
EDTC '97 Proceedings of the 1997 European conference on Design and Test
SWIFT--A new real time commit protocol
Distributed and Parallel Databases
OCP: a distributed real time commit protocol
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
| Hi-index | 0.00 |