Showing 1 - 20 results of 28 for search 'Armstrong P', query time: 0.09s
Refine Results
-
1
Enhancing the energy storage capability of electric domestic hot water tanks by Armstrong, P
Published 2015Thesis -
2
-
3
-
4
-
5
Emergency department ultrasound probe infection control: challenges and solutions by Shokoohi H, Armstrong P, Tansek R
Published 2015-01-01
Article -
6
-
7
Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract) by Faily, S, Power, D, Armstrong, P, Flechais, I
Published 2013Conference item -
8
-
9
Pitfalls in decarbonising heat: A misalignment of climate policy and product energy labelling standards by Armstrong, P, Bhagavathy, S, Kang, R, McCulloch, M
Published 2019Journal article -
10
Model checking Timed CSP by Armstrong, P, Lowe, G, Ouaknine, J, Roscoe, A
Published 2012Journal article -
11
FDR3 — A Modern Refinement Checker for CSP by Gibson−Robinson, T, Armstrong, P, Boulgakov, A, Roscoe, A
Published 2014Conference item -
12
-
13
Conclusion by Chapman, C, Armstrong, P, Harris, A, Muijs, D, Reynolds, D, Sammons, P
Published 2012Book section -
14
-
15
Introduction by Armstrong, P, Chapman, C, Harris, A, Muijs, D, Reynolds, D, Sammons, P
Published 2012Book section -
16
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Conference item -
17
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Journal article -
18
Recent developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Journal article -
19
Recent Developments in FDR by Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J
Published 2012Conference item -
20
FDR2 user manual by Gardiner, P, Goldsmith, M, Hulance, J, Jackson, D, Roscoe, A, Scattergood, B, Armstrong, P
Published 2000Record