Jean-Charles Fabre, Manuel RodrÃguez, Jean Arlat, J.-M. Sizun. Building dependable COTS microkernel-based systems using MAFALDA. In 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA. pages 85-94, IEEE Computer Society, 2000. [doi]
Abstract is missing.