Andrew Currie

Some Examples of Sheet Metal Forming and Billet Forging Analysis

Jindong Yang, Andrew Currie, 1996 .

Ltl model checking of csp by refinement

Thierry Massart, Michael Leuschel, Andrew Currie, 2000 .

How to Make FDR Spin LTL Model Checking of CSP by Refinement

Thierry Massart, Michael Leuschel, Andrew Currie, 2001, FME.

ISLE: Intelligent Selection of Loop Electronics. A CLIPS/C++/INGRES integrated application

Andrew Currie, Lynn Fischer, Judson Cary, 1990 .

FE Analysis, Dynamic Test and Correlation of Vehicle Structures

Ananda Rao, Andrew Currie, B. Srinivasulu, 1996 .

Vehicle Occupant Safety Modelling

Tom Gibson, Andrew Currie, 1996 .

Multiple objective optimisation in a behavioural synthesis system

K. G. Nichols, Andrew Currie, Keith R. Baker, 1993 .