共 50 条
[41]
Formal specifications of computer-based systems
[J].
ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS,
2003,
:169-172
[43]
REFERENCE CODES AND COMPUTER-BASED SYSTEMS
[J].
JOURNAL OF THE SOCIETY OF ARCHIVISTS,
1990, 11 (04)
:144-146
[47]
ADVANCES IN COMPUTER-BASED PHARMACY SYSTEMS
[J].
MEDICAL INSTRUMENTATION,
1978, 12 (04)
:237-240
[48]
COMPUTER-BASED MESSAGE SYSTEMS - A TAXONOMY
[J].
TELECOMMUNICATIONS POLICY,
1980, 4 (02)
:128-133
[49]
IMPROVING RELIABILITY IN COMPUTER-BASED SYSTEMS
[J].
MICROELECTRONICS AND RELIABILITY,
1989, 29 (02)
:177-184
[50]
Formal specifications of computer-based systems
[J].
NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS,
2002,
:224-225