Contact Person : Mark Neal; Last Date for the submission of abstract : Not Available ; Description : High reliability and safety critical software includes automotive, aerospace, defense, financial, medical devices, nuclear, telecommunications and other systems where high quality and minimized risk to life and property are vital.