Concepedia

Trevor Cockram

TC

Statistics

Publications

3

Citations

46

H-Index

3

Active since

1998

Affiliations

University of York(Current)

Trevor Cockram is an author at University of York specializing in systems engineering, formal verification, and engineering.

Top concepts

Publications per year

1998–2007

3

Publications

3

Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software

Andy Galloway, Trevor Cockram, John McDermid · IFAC Proceedings Volumes · 1998 · 21 citations

, , +12

Gaining Confidence in Software Inspection Using a Bayesian Belief Model

Trevor Cockram · Software Quality Journal · 2001 · 13 citations

Combining security and safety principles in practice

Trevor Cockram, Samantha Lautieri · 2007 · 12 citations

, , +19

1–3 of 3