Forgot your password?
New user?
John Rushby
QPQ (QED Pro Quo) is a repository for formal content in electronic form, including
systems, software, libraries, benchmarks, tutorials, and technical reports.
Author's home page in this site…
Latest content created by this user
| File | |
|---|---|
| VSR certification roadmap slides | 2006-04-26 |
| Slides for revised roadmap | 2006-04-03 |
| Improving software standards | 2006-04-02 |
| Proof in diversity arguments | 2006-04-02 |
| Multi-Legged Arguments | 2006-04-02 |
| Folder | |
| Certification | 2006-04-02 |
| Rushby | 2005-12-01 |
| Link | |
| WIkipedia article on Safety Engineering | 2006-04-02 |
| Overview on safety cases | 2006-04-02 |
