High Integrity Systems (CS_313)/Critical Systems (CS_M13)

Lent Term 2005

Lecturer

Dr. A. Setzer
Dept. of Computer Science
University of Wales Swansea
Singleton Park
Swansea
SA2 8PP,UK
Tel. (01792) 513368
Fax (01792) 295651

Timetable

Slides, Handouts

Programming Examples

Links


Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Thu Jan 12 18:25:45 GMT 2006