Robert M. Hierons
Identifiers
- Open LibraryOL4600483A
Top Subjects
- Telecommunication systems (1)
Books by Robert M. Hierons
Total count: 4
-
Using formal specifications to enhance the software testing process.Brunel University1992-01-01
-
Testing of Communicating Systems16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , ProceedingsSpringer London, Limited2004-01-01
-
Formal Methods and TestingAn Outcome of the FORTEST Network. Revised Selected PapersSpringer London, Limited2008-01-01
-
Software Engineering and Formal Methods11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, ProceedingsSpringer London, Limited2013-01-01