An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software.

Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Shin

Browse the full RTSS paper archive.