Search research publications and outputs

  1. 1990
  2. Security Policies for Integrated Project Support Environments

    Hocking, E. S., McDermid, J. A., Landwehr, C. E. (ed.) & Spooner, D. (ed.), 1990, Database Security III: Status and Prospects. III ed. Monterey: IFIP/North Holland, p. 41-74 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Skills and Technologies for the Development and Evaluation of Safety Critical Applications

    McDermid, J. A. & Daniels, B. K., 1990, p. 163-172.

    Research output: Contribution to conferencePaper

  4. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

  5. Specifying Security Properties

    Jacob, J. L. & Hoare, C. A. R. (ed.), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop

    Clarke, S. J., Coombes, A. & McDermid, J. A., 1990.

    Research output: Working paper

  7. Tools that support human-human communication in the automated office

    Benest, I. D. & Dukic, D., 1990, p. 853-859.

    Research output: Contribution to conferencePaper

  8. Towards an Object Oriented Development Environment for Secure Applciations

    Hocking, E. S., McDermid, J. A. & Eizenberg, G. G., 1990, p. 191-200.

    Research output: Contribution to conferencePaper

  9. Towards an Object Oriented Development Environment for Secure Applications

    Hocking, E. S. & McDermid, J. A., 1990, p. 191-200.

    Research output: Contribution to conferencePaper

  10. XVDM - Exercise and Execute VDM Directly

    Heping, H., Mander, K. C. & McDermid, J. A., 1990.

    Research output: Working paper

  11. Z and the Refinement Calculus

    King, S., 1990, p. 164-188.

    Research output: Contribution to conferencePaper

  12. CHARGE-EXCHANGE PHOTOPRODUCTION OF THE ALPHA-2-(1320) IN ASSOCIATION WITH DELTA++ AT 19.3 GEV/C

    CONDO, GT., HANDLER, T., SHIMONY, J., ABE, K., AUSTERN, M., ARMENTEROS, R., BACON, TC., BALLAM, J., BINGHAM, HH., BRAU, JE., BRAUNE, K., BRICK, D., BUGG, WM., BUTLER, JM., CAMERON, W., COHN, HO., COLLEY, DC., DADO, S., DIAMOND, R., DINGUS, P. & 64 othersERICKSON, R., FALICOV, A., FIELD, RC., FORTNEY, LR., FRANEK, B., FUJIWARA, N., GLANZMAN, T., GODFREY, IM., GOLDBERG, JJ., GOSHAW, AT., HALL, G., HANCOCK, ER., HARGIS, HJ., HART, EL., HARWIN, MJ., HASEGAWA, K., HULSIZER, RI., JOBES, M., KAFKA, T., KALMUS, GE., KELSEY, DP., KENT, J., KITAGAKI, T., LEVY, A., LUCAS, PW., MANN, WA., MCCRORY, ES., MERENYI, R., MILBURN, R., MILSTENE, C., MOFFEIT, KC., NAPIER, A., NOGUCHI, S., OCHIAI, F., ODELL, VR., ONEALE, S., PALOUNEK, APT., PLESS, IA., RANKIN, P., ROBERTSON, WJ., SAGAWA, H., SATO, T., SCHNEPS, J., SEWELL, SJ., SHANK, J., SHAPIRO, AM., SUGAHARA, R., SUZUKI, A., TAKAHASHI, K., TAMAI, K., TANAKA, S., TETHER, S., WAIDE, DA., WALKER, WD., WIDGOFF, M., WILKINS, CG., WOLBERS, S., WOODS, CA., YAMAGUCHI, A., YAMAMOTO, RK., YAMASHITA, S., YOSHIMURA, Y., YOST, GP. & YUTA, H., 1 Jun 1990

    Article in Physical Review D

Previous 1...4 5 6 7 8 9 10 11 ...201 Next