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
TI view of automotive engine control - a systems approach