Publications
Items where Author is "Lines, K"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Report/Guide
Number of items: 3.
Report/Guide
Videla, A; Lines, K (2025) Functional Programming (with some Type Theory) for Metrology. NPL Report. MS 60
Levene, M; Adel, T; Alsuleman, M; George, I; Krishnadas, P; Lines, K; Luo, Y; Smith, I; Duncan, P (2024) A Life Cycle for Trustworthy and Safe Artificial Intelligence Systems. NPL Report. MS 57
Lines, K; Krishnamurthy, H (2023) Model-based Systems Engineering at NPL: An initial investigation. NPL Report. MS 42