William J. Quirk

Verification and Validation of Real-Time Software

William J. Quirk, 1985, Springer Berlin Heidelberg.

Safety of Computer Control Systems, 1985: Proceedings of the 4th IFAC Workshop, Como, Italy, 1-3 October 1985

William J. Quirk, 1985 .

Safety of computer control systems 1985 (Safecomp '85) : achieving safe real time computer systems : proceedings of the Fourth IFAC Workshop, Como, Italy, 1-3 October 1985

William J. Quirk, 1985 .

Formally specifying temporal constraints and error recovery

Stuart Kent, T. S. E. Maibaum, William J. Quirk, 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

Safety of computer control systems 1986 (Safecomp '86) : trends in safe real time computer systems : proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986

William J. Quirk, 1986 .

A Comparative Study of the Effects of Albedo Change on Drought in Semi-Arid Regions.

Jack Kornfield, J. G. Charney, William J. Quirk, 1977 .

Extended-Range Forecasts with the GISS Model of the Global Atmosphere

Richard C. J. Somerville, William J. Quirk, W. Quirk, 1975 .