Verification of the application of coding rules for Ada to enhance portability of real-time applications

Peter E. Obermayer, Joachim Schröer, R. A. Peek, N. Collienne, Achilles Klimek, Rudolf Landwehr. Verification of the application of coding rules for Ada to enhance portability of real-time applications. In Stowe Boyd, editor, Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, WADAS 1994, McLean, Virginia, USA, 1994. pages 92-96, ACM, 1994. [doi]

Authors

Peter E. Obermayer

This author has not been identified. Look up 'Peter E. Obermayer' in Google

Joachim Schröer

This author has not been identified. Look up 'Joachim Schröer' in Google

R. A. Peek

This author has not been identified. Look up 'R. A. Peek' in Google

N. Collienne

This author has not been identified. Look up 'N. Collienne' in Google

Achilles Klimek

This author has not been identified. Look up 'Achilles Klimek' in Google

Rudolf Landwehr

This author has not been identified. Look up 'Rudolf Landwehr' in Google