共 50 条
- [22] EXTENDING INTERVAL LOGIC TO REAL-TIME SYSTEMS TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 224 - 242
- [23] DICOS: A real-time distributed industrial control system for embedded applications ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 2000, 2000, : 33 - 38
- [26] Near-sensor real-time imaging spectroscopy for industrial applications REAL-TIME IMAGING, 1996, 2661 : 154 - 165