DMCA

Verifying the PikeOS Microkernel: First Results in the VerisoftXT Avionics Project

by Christoph Baumann , Thorsten Bormer
Citations:1 - 0 self