共 50 条
- [38] Response time analysis of systems with real-time and non real-time processing 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 124 - 129
- [40] Real-Time Specification Patterns and Tools FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2012), 2012, 7437 : 1 - 15