Research output per year
Research output per year
Research output
Search results
-
2012
A Model of Computing as a Service for Cost Analysis
Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.Research output: Other contribution
-
2010
A Synchronous Approach to Threaded Program Verification
Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J.-P., 2010, (Unpublished) 32 p.Research output: Other contribution
-
2008
The Data Type of Spatial Objects
Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.Research output: Other contribution