Items where Year is 1993

B

Bishop, P. G., Burns, G. & Anderson, S. O. (1993). Stepwise Development and Verification of a Boiler System Specification. Paper presented at the International Workshop on the Design and Review of Software Controlled Safety-related Systems, 28 - 29 Jun 1993, National Research Council, Ottawa, Canada.

F

Fring, A., Mussardo, G. & Simonetti, P. (1993). Form Factors for Integrable Lagrangian Field Theories, the Sinh-Gordon Model. Nuclear Physics B, 393(1-2), pp. 413-441. doi: 10.1016/0550-3213(93)90252-K

Fring, A., Mussardo, G. & Simonetti, P. (1993). Form Factors of the Elementary Field in the Bullough-Dodd Model. Physics Letters B, 307(1-2), pp. 83-90. doi: 10.1016/0370-2693(93)90196-O

L

Littlewood, B., Brocklehurst, S., Fenton, N., Mellor, P., Page, S., Wright, D., Dobson, J., McDermid, J. & Gollmann, D. (1993). Towards operational measures of computer security. Journal of Computer Security, 2(3), 211 - 229.

Littlewood, B. & Strigini, L. (1993). Validation of Ultrahigh Dependability for Software-Based Systems. Communications of the ACM (CACM), 36(11), 69 - 80. doi: 10.1145/163359.163373