Search results
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Language Issues > 220-235
Lecture Notes in Computer Science > Reliable SoftwareTechnologies — Ada-Europe 2001 > Real-Time Kernels > 305-316
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2002 > Real-Time Systems > 136-150