共 50 条
- [31] 1 Models, Proofs and the Engineering of Computer-Based Systems: A Reality Check INCOSE International Symposium, 1999, 9 (01): : 414 - 421
- [32] Decisions not requirements - Decision-centered engineering of computer-based systems INTERNATIONAL CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 1997, : 435 - 442
- [36] Special Issue on Model Based Reasoning in Engineering and Robotic Systems Journal of Intelligent and Robotic Systems, 2007, 48 : 5 - 6