共 50 条
- [21] Combining formal specification methods and informal specification methods for requirement analysis 1997 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING, VOLS 1 AND 2: PACRIM 10 YEARS - 1987-1997, 1997, : 444 - 447
- [23] SIMPLIFIED METHODS IN INELASTIC ANALYSIS. Transactions of the International Conference on Structural Mechanics in Reactor Technology, 1979, L
- [28] Microscale methods in environmental analysis. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2002, 224 : U288 - U289
- [29] Extended Methods of Operational Analysis. Angewandte Informatik, Applied Informatics, 1983, 25 (01): : 18 - 24
- [30] LOGIC PARTITIONING IN VLSI CHIPS TO IMPROVE FAILURE ANALYSIS. IBM technical disclosure bulletin, 1986, 28 (08): : 3702 - 3703