Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
David Parker, 13 Jul 2020, (Accepted/In press) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20).Springer, 25 p. (Lecture Notes in Comuter Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Birmingham Research Portal provides a publicly accessible, fully searchable interface to explore the research undertaken at the University.