共 50 条
[31]
COMPUTER-BASED SECURITY TRADING SYSTEMS
[J].
JOURNAL OF INFORMATION SCIENCE,
1989, 15 (06)
:345-354
[32]
COMPUTER-BASED INTERACTIVE VIDEO SYSTEMS
[J].
BEHAVIOR RESEARCH METHODS INSTRUMENTS & COMPUTERS,
1987, 19 (02)
:160-166
[36]
Model checking of computer-based systems
[J].
ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS,
2007,
:557-+
[37]
COMPUTER-BASED INFORMATION HANDLING SYSTEMS
[J].
JOURNAL OF LABORATORY AND CLINICAL MEDICINE,
1978, 92 (03)
:321-324
[39]
Formal specifications of computer-based systems
[J].
EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS,
2001,
:357-358
[40]
DESIGNING RELIABILITY INTO COMPUTER-BASED SYSTEMS
[J].
INSTRUMENTS & CONTROL SYSTEMS,
1982, 55 (05)
:45-50