Computer

ISSNs: 0018-9162

IEEE Computer Society

Scopus rating (2020): CiteScore 7.9 SJR 0.846 SNIP 3.01

Journal

Publications

1 - 6 out of 6Page size: 25
RSS feed of this list
  1. 2021

  2. Safety, Complexity, and Automated Driving: Holistic Perspectives on Safety Assurance

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 3 Aug 2021

    Article in Computer

  3. 2014

  4. Toward connected shared experiences

    Cesar, P., Kaiser, R. & Ursu, M. F., Jul 2014

    Article in Computer

  5. 2012

  6. Novel interactions on the keyboard

    Gellersen, H. & Block, F., Apr 2012, Computer, 45, 4, p. 36-40 5 p.

    Research output: Contribution to specialist publication › Article

  7. 2006

  8. First steps in the Verified Software Grand Challenge

    Woodcock, J., Oct 2006

    Article in Computer

  9. Verified Software: A Grand Challenge

    Jones, C. B., O'Hearn, P. W. & Woodcock, J., Apr 2006

    Editorial in Computer

  10. 1998

  11. The cost of COTS

    Talbert, N. & McDermid, J., Jun 1998

    Article in Computer

Discover related content

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

View graph of relations

York staff: edit these data