W. J. Cullyer
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Implementing Safety-Critical Systems: The VIPER Microprocessor
W. J. Cullyer (1988) · VLSI Specification, Verification and Synthesis · Kluwer Academic Publishers
VIPER: Simulation of Specification - User's Guide
W. J. Cullyer (1986) · Ministry of Defence (unpublished report)
VIPER - Correspondence between specification and major-state machine
W. J. Cullyer (1986) · Royal Signals and Radar Establishment, Malvern
VIPER - Correspondence between specification and host machine
W. J. Cullyer (1985) · Royal Signals and Radar Establishment, Malvern
VIPER Microprocessor: Formal Specification
W. J. Cullyer (1985) · Royal Signals and Radar Establishment, Malvern
Formal specification of VIPER microprocessor
W. J. Cullyer (1984) · Royal Signals and Radar Establishment, Malvern