Formal methods—mathematics, theory, recipes or what?

Authors:
J. Cooke
Affiliations:
Loughborough Univ. of Technology, Loughborough, UK
Venue:
The Computer Journal - Special issue on formal methods: part 1
Year:
1992

Citing 0
Cited 3

A Behavior Model for Next Generation Test Systems

Journal of Electronic Testing: Theory and Applications
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle

ITC '99 Proceedings of the 1999 IEEE International Test Conference
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract