共 50 条
- [37] On-line assertion-based verification with proven correct monitors ENABLING TECHNOLOGIES FOR THE NEW KNOWLEDGE SOCIETY, 2005, : 125 - 143
- [39] Development and application of on-line near infrared spectroscopy analyzer Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2009, 30 (03): : 531 - 535