Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans. Software Eng., 21(2):107-125, 1995. [doi]

This author has not been identified. Look up 'Sam Owre' in GoogleThis author has not been identified. Look up 'John M. Rushby' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in GoogleThis author has not been identified. Look up 'Friedrich W. von Henke' in Google

runs on WebDSL