Development of real-time process control systems using formal techniques.
Publisher: Aston University. Department of Electronic and Electrical Engineering
Published: 1995
Place of publication: Birmingham
Language: eng
Notes: Thesis (Phd) - Aston University, 1995.