Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brian Butka, Janusz Zalewski, Andrew J. Kornecki. Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. In Bettina Buth, Gerd Rabe, Till Seyfarth, editors, Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings. Volume 5775 of Lecture Notes in Computer Science, pages 201-214, Springer, 2009. [doi]

This author has not been identified. Look up 'Brian Butka' in GoogleThis author has not been identified. Look up 'Janusz Zalewski' in GoogleThis author has not been identified. Look up 'Andrew J. Kornecki' in Google

runs on WebDSL