Raymond S. Way profile picture

Raymond S. Way

Is this your author profile? Create an account to claim and customize it!

Stand Alone

A Formal Specification and Proof of System Safety Using the Schematic Protection Model