University of Huddersfield Repository Parkinson, Simon, Longstaff, Andrew P., Crampton, Andrew, Allen, Gary, Fletcher, Simon and Myers, Alan The use of Cryptographic Principles within Metrology Software Original Citation

First Page		Document Content
Date: 2012-01-19 11:12:12 Metrology Measurement Security Calibration Software testing Software development process Traceability Computer security Software design Software engineering Technology Science		University of Huddersfield Repository Parkinson, Simon, Longstaff, Andrew P., Crampton, Andrew, Allen, Gary, Fletcher, Simon and Myers, Alan The use of Cryptographic Principles within Metrology Software Original Citation Add to Reading List Source URL: eprints.hud.ac.uk Download Document from Source Website File Size: 283,91 KB Share Document on Facebook

	Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper: DocID: 1xVNl - View Document
	Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair DocID: 1xUM1 - View Document
	Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA DocID: 1xThG - View Document
	MODELISAR An international standard for systems- and embedded software design in vehicles Modelling is not new in automotive systems development Impact highlights DocID: 1vpDM - View Document