Conferences
The Gurkh Project: A Framework for Verification and Execution of Mission Critical Applications
Presented by Kristina Lundqvist
22th Digital Avionics Systems Conference (DASC), October 2003
ESL Meetings
Mission Critical Software
Presented by Kristina Lundqvist
Fall ESL Presentation, December 2003
