- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Hierons, Robert M.

Showing 1 - 3 of 3 results

Search Results

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

by Hierons, Robert M.
2013
Format: Electronic

Location
Access Content Online

Cover image for Formal methods and testing

Formal methods and testing

2008
Format: Electronic

Location
Access Content Online

Cover image for Testing of communicating systems

Testing of communicating systems

by IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
2004
Format: Electronic

Location
Access Content Online