Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya. Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 406-410, Springer, 2008. [doi]

This author has not been identified. Look up 'Scott Lintelman' in GoogleThis author has not been identified. Look up 'Richard Robinson' in GoogleThis author has not been identified. Look up 'Mingyan Li' in GoogleThis author has not been identified. Look up 'Krishna Sampigethaya' in Google

runs on WebDSL