共 50 条
- [31] Model checking of computer-based systems 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 - +
- [32] Formal specifications of computer-based systems EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 357 - 358
- [33] DESIGNING RELIABILITY INTO COMPUTER-BASED SYSTEMS INSTRUMENTS & CONTROL SYSTEMS, 1982, 55 (05): : 45 - 50
- [34] Formal specifications of computer-based systems ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 169 - 172
- [37] REFERENCE CODES AND COMPUTER-BASED SYSTEMS JOURNAL OF THE SOCIETY OF ARCHIVISTS, 1990, 11 (04): : 144 - 146
- [39] Integrated development for computer-based systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 414 - 420