Previous
Next
Journal
- 2000 ieee aerospace conference. proceedings (cat. no.00th8484)2
- 32nd ieee vehicular technology conference2
- ire transactions on aeronautical & navigational electronics2
- proceedings 1997 high-assurance engineering workshop2
- proceedings fifth ieee international symposium on high assurance systems engineering (hase 2000)2
- proceedings of compass '97: 12th annual conference on computer assurance2
- proceedings of the 2000 ieee aerospace conference (cat. no.00th8484)2
- proceedings third international workshop on object-oriented real-time dependable systems2
- 1991 digest of papers fault-tolerant computing: the twenty-first international symposium1