共 50 条
- [22] Semi-Formal Critique of Theory of the justice by Rawls PHARES-REVUE PHILOSOPHIQUE ETUDIANTE DE L UNIVERSITE LAVAL, 2006, 6 : 57 - 83
- [23] Development process improvement by the means of formal and semi-formal methods DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 221 - 225
- [25] Management in distributed systems: A semi-formal approach EURO-PAR 2007 PARALLEL PROCESSING, PROCEEDINGS, 2007, 4641 : 651 - +
- [26] Semi-formal and formal models applied to flexible manufacturing systems COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 718 - 728
- [27] Implementation of a semi-formal verification for embedded systems ICESS 2005: SECOND INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2005, : 204 - 210
- [28] The use of semi-formal methods for detecting requirements interactions Proceedings of the IASTED International Conference on Software Engineering, 2004, : 230 - 235
- [29] IRIS: A semi-formal approach for detecting requirements interactions 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 273 - 281