Tim Clement

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

Tim Clement
The Morality and Economics of Safety in Defence Procurement. SSS (2009)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
Integrity Static Analysis of COTS/SOUP. SAFECOMP (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software criticality analysis of COTS/SOUP. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
Software Criticality Analysis of COTS/SOUP. SAFECOMP (2002)
Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones
Story. SAFECOMP (1999)
Meine van der Meulen, Tim Clement
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. FM-Trends (1998)
Tim Clement
Data Reification without Explicit Abstraction Functions. FME (1996)
Tim Clement
Comparing Approaches to Data Reification. FME (1994)
Tim Clement
Combining Transformation and Posit-and Prove in a VDM Development. VDM Europe (1) (1991)