共 6 条
[1]
BAKER A, 1996, WINDOWS NT DEVICE DR
[2]
Dekker E. N., 1999, DEV WINDOWS NT DEVIC
[3]
HO RC, 1995, ACM COMP AR, P404, DOI 10.1109/ISCA.1995.524579
[4]
Prototyping the M68060 for concurrent verification
[J].
IEEE DESIGN & TEST OF COMPUTERS,
1997, 14 (01)
:34-41
[5]
Interface design for core-based systems
[J].
IEEE DESIGN & TEST OF COMPUTERS,
1997, 14 (04)
:42-51
[6]
MICHAEL MS, 1987, 491 NAT SEM