ANU Home | Search ANU | FEIT Home | Search FEIT

COMP8160 - Formal Methods for Safety Critical Systems

COMP8160 will be offered for the first time in 2006, semester 1.

People

• Coordinators/Examiners: Dr. Malcolm Newey
  Malcolm, who can be consulted when questions arise, welcomes feedback.

• Lecturers: Dr. Malcolm Newey

Course Information

• Description: (COMP8160 HTML)
• Course schedule: To be decided.
• Assessment:
• Lecture notes and other documents: View and download from the documents page.

• Announcements:(HTML)