J. Ward

发表

A formalism for the specification of operationally embedded reactive systems [in aircraft guidance/navigation systems]

Lance Sherry, Jonathan J. Ward, L. Sherry, 1995, Proceedings of 14th Digital Avionics Systems Conference.

DETERMINATION OF PREFERRED METHOD OF PRODUCING AIR TEMPERATURES ENCOUNTERED IN FLIGHT BY HYPERSONIC AIRCRAFT AND MISSILES

J. J. Ward, J. M. Allen, J. F. Quirk, 1957 .