Zuverlaessigkeit im Transport- und Nachrichtenwesen
What the courts say and have said about the use of radar (International maritime system)
Verification of a theoretical marine radar iceberg detection model
Verification and validation of missile guidance and targeting software
Triplex digital fly by wire redundancy management techniques
Transmission aspects of the PTARMIGAN system
TI view of automotive engine control - a systems approach