Search results for: Stephen Michell
Lecture Notes in Computer Science > Reliable Software Technologies Ada-Europe 2000 > Real-Time and Safety-Critical Systems > 16-28
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Ravenscar Profile and High Integrity Systems > 12-25