共 50 条
- [21] Procedural specification. Global message ordering protocol Proceedings of the International Conference on Computer Communication, 1991,
- [23] ERROR-BAND APPROACH TO PSU SPECIFICATION. Electronic Engineering (London), 1978, 50 (609): : 47 - 48
- [24] ASIC generation from high-level specification. 2004 IEEE International Conference on Industrial Technology (ICIT), Vols. 1- 3, 2004, : 1262 - 1269
- [26] OPTIMIZATION AND DESIGN OF LINEAR NETWORKS, INCLUDING NESTED SUBNETWORKS, TO SOME FREQUENCY-DOMAIN SPECIFICATION. Proceedings - IEEE International Symposium on Circuits and Systems, 1979, : 292 - 293