Search Results - Hierons, Robert M.

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings /

    Published 2004
    Other Authors: “…Hierons, Robert M.…”
    Access full-text online
    Conference Proceeding Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Theoretical aspects of computing -- ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31-November 4, 2019, Proceedings /

    Published 2020
    Other Authors: “…Hierons, Robert M.…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

    Published 2013
    Other Authors: “…Hierons, Robert M.…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /

    Published 2018
    Other Authors: “…Hierons, Robert M.…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Software engineering for robotics

    Published 2021
    Other Authors: “…Hierons, Robert M.…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Formal methods and testing an outcome of the FORTEST network : revised selected papers /

    Published 2008
    Other Authors: “…Hierons, Robert M.…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search