Browse by Journal or other publication
Number of items: 2.
McBride, Conor and Nakov, Georgi and Nordvall Forsberg, Fredrik (2023) Measuring with confidence : leveraging expressive type systems for correct-by-construction software. Acta IMEKO, 12 (1). 15. ISSN 2221-870X
Miller, Ainsley and Mulholland, Anthony J. and Pierce, Stephen Gareth and Hughes, Ben and Forbes, Alistair B. (2018) Positional uncertainty in optical-based metrology systems in large volume manufacturing. Acta IMEKO, 7 (2). ISSN 2221-870X