Tim Clement

11 papers B 3C 2Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2009 C conf
The Morality and Economics of Safety in Defence Procurement.
SSS
Tim Clement
2003 B conf
Integrity Static Analysis of COTS/SOUP.
SAFECOMP
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones
2003 J jnl
Software criticality analysis of COTS/SOUP.
Reliab. Eng. Syst. Saf.
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
2002 B conf
Software Criticality Analysis of COTS/SOUP.
SAFECOMP
Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra
1999 B conf
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERT
SAFECOMP
Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones
1998 — conf
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.
FM-Trends
Meine van der Meulen, Tim Clement
1996 — conf
Data Reification without Explicit Abstraction Functions.
FME
Tim Clement
1994 — conf
Comparing Approaches to Data Reification.
FME
Tim Clement
1993 C ed.
Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992
LOPSTR
Kung-Kiu Lau, Tim Clement
1992 — conf
Using Metavariables in Natural Deduction Proofs.
Refine
Tim Clement
1991 — conf
Combining Transformation and Posit-and Prove in a VDM Development.
VDM Europe (1)
Tim Clement