compositional framework for avionics



compositional framework for avionics (ARINC-653) systems

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