Computer journal

ISSNs: 0010-4620

Oxford University Press

Scopus rating (2021), Scopus (2020)

Journal

Publications

1 - 12 out of 12Page size: 25
RSS feed of this list
Sort by: Type
  1. Article › Research › Peer-reviewed

  2. A FRAMEWORK FOR BUILDING DEPENDABLE SYSTEMS

    Burns, A. & Lister, A. M., Apr 1991

    Article in Computer journal

  3. Affordance and Symmetry in User Interfaces

    Cairns, P. & Thimbleby, H., Nov 2008

    Article in Computer journal

  4. Comparing degrees of non-determinism in expression evaluation

    Hayes, I. J., Burns, A., Dongol, B. & Jones, C. B., 1 Jun 2013

    Article in Computer journal

  5. Deriving specifications of control programs for cyber physical systems

    Burns, A., Hayes, I. & Jones, C., 30 Apr 2019

    Article in Computer journal

  6. Distributed atomic actions in Ada 95

    Mitchell, S. E., Wellings, A. J. & Romanovsky, A., 1 Dec 1998

    Article in Computer journal

  7. FIXED PRIORITY SCHEDULING OF HARD REAL-TIME MULTIMEDIA DISK TRAFFIC

    Tindell, K. & Burns, A., 1994

    Article in Computer journal

  8. Formal Methods: Use and Relevance for the Development of Safety-Critical Systems

    Barroca, L. M. & McDermid, J. A., Dec 1992

    Article in Computer journal

  9. Integrated Analysis of Complex Safety Critical Systems

    Wilson, S. P. & McDermid, J. A., 1995

    Article in Computer journal

  10. On the Meaning of Safety and Security

    Burns, A., McDermid, J. & Dobson, J., Feb 1992

    Article in Computer journal

  11. Programming replicated systems in Ada 95

    Wellings, A. J. & Burns, A., 1996

    Article in Computer journal

  12. Reply to 'comment on "a framework for modelling Trojans and computer virus infection"' by E. Mäkinen

    Thimbleby, H., Anderson, S. O. & Cairns, P. A., 2001

    Article in Computer journal

  13. Sensornet Protocol Tuning Using Principled Engineering Methods

    Tate, J. & Bate, I., Sep 2010

    Article in Computer journal

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data