Graeme I. P. Parkin

Publication Activity (10 Years)

Years Active: 1982-2007
Publications (10 Years): 0

Publications

Åsmund Sand, Mike Stevens, Graeme I. P. Parkin
Internet-Enabled Calibration: An Analysis of Different Topologies and a Comparison of Two Different Approaches. IEEE Trans. Instrum. Meas. 56 (5) (2007)
Graeme I. P. Parkin, Peter Harris
Ensuring numerical correctness using the Internet. Comput. Stand. Interfaces 28 (3) (2006)
Åsmund Sand, Mike Stevens, Graeme I. P. Parkin
A Dynamic Instrumentation Framework for Remote Operation of PC-Connected Devices. VECIMS (2006)
Graeme I. P. Parkin
Complex systems proved and improved. Microprocess. Microsystems 20 (8) (1997)
Graeme I. P. Parkin, Stephen Austin
Overview: Survey of Formal Methods in Industry. FORTE (1993)
Graeme I. P. Parkin, Brian A. Wichmann
Conformity Clause for VDM-SL. FME (1993)
Graeme I. P. Parkin, G. O'Neill
Specification of the MAA Standard in VDM. VDM Europe (1) (1991)
Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann
A prototype system for the validation of Pascal programs. Softw. Eng. J. 3 (2) (1988)
Donald W. Davies, Graeme I. P. Parkin
The average Cycle size of the Key-Stream in Output Feedback Encipherment. EUROCRYPT (1982)
Donald W. Davies, Graeme I. P. Parkin
The Average Cycle Size of the Key Stream in Output Feedback Encipherment. CRYPTO (1982)