Languages
Hierons, Robert M.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Testing of communicating systems = 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings /
by:
Groz, Roland.; Hierons, Robert M.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
Bowen, J. P. (1956-); Harman, Mark.; Hierons, Robert M.; SpringerLink (Online service)
(Language materials, printed)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
Merayo, Mercedes G.; SpringerLink (Online service); Hierons, Robert M.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bravetti, Mario.
(Language materials, printed)
Subjects
Software Engineering.
Telecommunication systems
Formal methods (Computer science)
Computer Communication Networks.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software