Get started
Author

Jim Davies

Observed name: Davies, Jim
OpenAlex ID: A5060831762
The Mechanical Verification of Solid State Interlocking Geographic Data
1997 · Jim Davies · 18
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
2004 · Davies, Jim, Barnett, Mike, et al. · Lecture notes in computer science · 9
On the supervision and assessment of part-time postgraduate software engineering projects
2003 · Andrew Simpson, Andrew Martin, et al. · 5
An Integrated System Dynamics Model for Analyzing Behaviour of the Social-Energy-Economic-Climatic System: User’s Manual
2011 · Mohammad Khaled Akhtar, Slobodan P. Simonović, et al. · Scholarship@Western (Western University) · 4
PDF
Systems Software for Digital Control and Surveillance
1987 · Jim Davies, S Scott-Gatty · 2
Integrated formal methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
2007 · Jim Davies, Jeremy Gibbons · DIAL (Catholic University of Leuven) · 1
An Integrated System Dynamics Model for Analyzing Behaviour of the Social-Energy-Economic-Climatic System: Model Description
2011 · Mohammad Khaled Akhtar, Slobodan P. Simonović, et al. · Scholarship@Western (Western University)
PDF
Formal Methods for Electronic Government
2008 · Jim Davies, Jeremy Gibbons · Oxford University Research Archive (ORA) (University of Oxford)
PDF
Works count: 11
Citation count: 39
H-index: 4
I10-index: 1
Year
Topic
Type