Towards Formal Verification of a Separation Microkernel
You are here
| Title | Towards Formal Verification of a Separation Microkernel |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Butterfield A, Sanan D, Hinchey M |
| Conference Name | DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference |
| Date Published | 2013 |
| Conference Location | Oporto, Portugal |
| URL | http://hdl.handle.net/10344/3364 |
