T. S. Hughes

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Loughborough University, UK (PHD)

Education History

Loughborough University, UK

PHD

Publications

Jim E. Cooling, T. S. Hughes
Making formal specifications accessible through the use of animation prototyping. Microprocess. Microsystems 18 (7) (1994)
Jim E. Cooling, T. S. Hughes
Animation prototyping of real-time embedded systems. Microprocess. Microsystems 17 (6) (1993)
T. S. Hughes, Jim E. Cooling
Animation prototyping of formal specifications of real-time systems. Microprocessing and Microprogramming 30 (1-5) (1990)