共 50 条
- [1] Model-integrated computing environments and computer-based systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 480 - 481
- [3] Model-integrated toolset for fault detection, isolation and recovery (FDIR) IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1996, : 356 - 363
- [5] Integrated development for computer-based systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 414 - 420
- [6] DESIGN OF COMPUTER-BASED INFORMATION SYSTEMS SOCIAL SCIENCE INFORMATION SUR LES SCIENCES SOCIALES, 1969, 8 (05): : 69 - 118
- [7] 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 - +
- [8] On the Design of Computer-Based Models for Integrated Environmental Science Environmental Management, 2005, 35 : 741 - 752