Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin. An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software. In Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico. pages 78, IEEE Computer Society, 2003. [doi]
Abstract is missing.