Analysis Design and Validation of Interactive
Safety-critical and Error-tolerant Systems
Tutorial Programme
Fortcoming tutorials:
Prof. Chris Johnson,
Dept. of Computing Science,
Univ. of Glasgow,
Glasgow,
G12 8QQ,
Scotland.
Tel: +44 141 330 6053,
Fax: +44 141 330 4913,
johnson@dcs.gla.ac.uk