ACM Computing Surveys

ISSNs: 0360-0300

Association for Computing Machinery (ACM), United Kingdom

Scopus rating (2020): CiteScore 22.3 SJR 2.079 SNIP 6.953

Journal

Publications

  1. 2021
  2. 2020
  3. 2019
  4. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  5. 2018
  6. 2017
  7. 2015
  8. 2011
  9. 2009
  10. Formal methods: Practice and experience

    Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J., 1 Oct 2009

    Article in ACM Computing Surveys

  11. Formal methods: Practice and experience

    Woodcock, J., Larsen, P. G., Bicarregui, J. & Fitzgerald, J., 1 Oct 2009

    Article in ACM Comput. Surv.

  12. 2008
  13. 1996

Discover related content

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

View graph of relations