Concepedia

Martyn Thomas

MT

4

Publications

123

Citations

4

H-Index

1993

Active since

Affiliations

Praxis(Current)

Praxis (United Kingdom)

Martyn Thomas is an author at Praxis specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

Publications per year

1993–2024

4

Publications

4

Top-down vs. bottom-up process improvement

Martyn Thomas, F. E. Mcgarry · IEEE Software · 1994 · 60 citations

, , +16

Formal Methods in Industry

Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 26 citations · Full text

, , +23

The industrial use of formal methods

Martyn Thomas · Microprocessors and Microsystems · 1993 · 25 citations

, , +7

The role of formal methods in achieving dependable software

Martyn Thomas · Reliability Engineering & System Safety · 1994 · 12 citations

, , +10

Rows per page

1–4 of 4