| 2003 |
|---|
| 7 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra,
Claire Jones:
Integrity Static Analysis of COTS/SOUP.
SAFECOMP 2003: 63-76 |
| 2002 |
|---|
| 6 | EE | Peter G. Bishop,
Robin E. Bloomfield,
Tim Clement,
Sofia Guerra:
Software Criticality Analysis of COTS/SOUP.
SAFECOMP 2002: 198-211 |
| 1999 |
|---|
| 5 | EE | Tim Clement,
Ian Cottam,
Peter K. D. Froome,
Claire Jones:
The Development of a Commercial ``Shrink-Wrapped Application'' to Safety Integrity Level 2: The DUST-EXPERTTM Story.
SAFECOMP 1999: 216-225 |
| 1998 |
|---|
| 4 | | 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: 296-301 |
| 1996 |
|---|
| 3 | | Tim Clement:
Data Reification without Explicit Abstraction Functions.
FME 1996: 195-213 |
| 1994 |
|---|
| 2 | | Tim Clement:
Comparing Approaches to Data Reification.
FME 1994: 118-133 |
| 1991 |
|---|
| 1 | | Tim Clement:
Combining Transformation and Posit-and Prove in a VDM Development.
VDM Europe (1) 1991: 63-80 |
