Towards the adoption of formal techniques for kernel qualification
You are here
| Title | Towards the adoption of formal techniques for kernel qualification |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Butterfield A, Hinchey M |
| Journal | European Space Agency, (Special Publication) ESA SP |
| Volume | SP-732 |
