compositional framework for avionics




compositional framework for avionics (ARINC-653) systems

FREE-DOWNLOAD A Easwaran, I Lee, O Sokolsky… – 2009






IEEE PAPER UNITED STATES