Formal Verification as a Design Tool - The Transponder Lock Example - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla. Formal Verification as a Design Tool - The Transponder Lock Example. In Erwin Schoitsch, editor, 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996. pages 73-82, Springer, 1996. [doi]

This author has not been identified. Look up 'Reinhard Budde' in GoogleThis author has not been identified. Look up 'Agathe Merceron' in GoogleThis author has not been identified. Look up 'Karl-Heinz Sylla' in Google

runs on WebDSL