Jeffrey J. Joyce
发表
Jeffrey J. Joyce,
J. Joyce,
1988,
Specification and Verification of Concurrent Systems.
Jeffrey J. Joyce,
J. Joyce,
1988,
Integr..
Jeffrey J. Joyce,
Zheng Zhu,
Carl-Johan H. Seger,
1993,
HUG.
Jeffrey J. Joyce,
Alma L. Juarez Dominguez,
Bruce G. Partridge,
2013,
2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE).
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
2000,
Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).
Jeffrey J. Joyce,
1993,
CASCON.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1991,
CAV.
Jeffrey J. Joyce,
Nancy A. Day,
Laure Millet,
2018,
2018 IEEE 26th International Requirements Engineering Conference (RE).
Jeffrey J. Joyce,
Carl-Johan H. Seger,
1993
.
Jeffrey J. Joyce,
Nancy A. Day,
James H. Andrews,
1997,
FORTE.
Jeffrey J. Joyce,
Ken Wong,
Jim Ronback,
1998
.
Jeffrey J. Joyce,
Ramesh Rajagopalan,
Laurent Fabre,
2016
.
Jeffrey J. Joyce,
Kalman C. Toth,
1995
.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
Sreeranga P. Rajan,
1993,
HUG.
Jeffrey J. Joyce,
Nancy A. Day,
Michael R. Donat,
1994,
TPHOLs.
Jeffrey J. Joyce,
Michael R. Donat,
1998
.
Jeffrey J. Joyce,
Nancy A. Day,
Alma L. Juarez Dominguez,
2008,
MiSE '08.
Karl N. Levitt,
Jeffrey J. Joyce,
Myla Archer,
1992,
TPHOLs.
Jeffrey J. Joyce,
Michael R. Donat,
1998
.
Jeffrey J. Joyce,
J. Joyce,
1989,
Hardware Specification, Verification and Synthesis.
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
1993,
HUG.
Jeffrey J. Joyce,
Nancy A. Day,
Michael R. Donat,
2000
.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
HUG.
Jeffrey J. Joyce,
Nancy A. Day,
N. Day,
1999,
TPHOLs.
Jeffrey J. Joyce,
Carl-Johan H. Seger,
C. Seger,
1993,
30th ACM/IEEE Design Automation Conference.
Jeffrey J. Joyce,
1990
.
Jeffrey J. Joyce,
Nancy A. Day,
Gerry Pelletier,
1998
.