DMCA

An Overview of Formal Verification for the Time-Triggered Architecture (2002)

by John Rushby
Citations:25 - 3 self