The development of hard real-time systems using a formal approach.
Publisher: Aston University. Departmant of Electronic Engineering and Applied Physics
Published: 1992
Place of publication: Birmingham
Language: eng
Notes: Thesis (PhD) - Aston University, 1992.