Run-time Systems for High-Assurance Systems
Presented as part of the
2008 HCSS conference
.
License:
Creative Commons 2.5
Mark P. Jones
Other available formats:
Run-time Systems for High-Assurance Systems
Switch to normal viewer
Switch to experimental viewer
