Building dependable COTS microkernel-based systems using MAFALDA.

Jean-Charles Fabre, Manuel Rodrguez, Jean Arlat, J.-M. Sizun

Browse the full PRDC paper archive.