Towards Scalable Security of Real-time Applications: A Formally Certified Approach.

Muhammad Taimoor Khan, Dimitrios Serpanos, Howard E. Shrobe

Browse the full ETFA paper archive.