共 50 条
- [32] Determine of the positive realization of the dimensional systems. PRZEGLAD ELEKTROTECHNICZNY, 2009, 85 (03): : 30 - 35
- [33] Automatically checking real-time systems for linear duration property Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2001, 38 (09):
- [35] Computer-Controlled Electro-Mechanical Energy Storage Systems. Bulletin de l'Association suisse des electriciens, 1986, 77 (19): : 1222 - 1226
- [37] APPLICATIONS OF COMPUTER SYSTEMS TO RAILWAY SYSTEMS. Mitsubishi Electric Advance, 1988, 43 : 6 - 7