Jeffrey J. Joyce

发表

Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings

Carl-Johan H. Seger, Jeffrey J. Joyce, 1994 .

Fully generic description of hardware in VHDL

Jeffrey J. Joyce, John P. Van Tassel, 1991 .

A framework for multinotation, model-orientated requirements analysis

Nancy A. Day, Jeffrey J. Joyce, 1998 .

Graphical monitoring of distributed systems

Brian W. Unger, Jeffrey J. Joyce, B. Unger, 1984 .

Formal Verification and Implementation of a Microprocessor

Jeffrey J. Joyce, J. Joyce, 1988 .

Generic Specification of Digital Hardware

Jeffrey J. Joyce, 1991 .

A Mathematically Precise Two-Level Formal Hardware Verification Methodology*

Jeffrey J. Joyce, Carl Carl-Johan Seger, C. Seger, 1992 .

Formal specification and verification of microprocessor systems

Jeffrey J. Joyce, 1988 .

Formalization and Analysis of the Separation Minima for the North Atlantic Region: Complete Specification and Analysis Results

Nancy A. Day, Jeffrey J. Joyce, Gerry Pelletier, 1997 .

GENERATING TEST CASES FROM FORMAL SPECIFICATIONS

Jeffrey J. Joyce, Kalman C. Toth, Michael R. Donat, 1996 .