Tom Anderson

Publication Activity (10 Years)

Years Active: 1991-2005
Publications (10 Years): 0

Publications

Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky
Error Recovery for a Boiler System with OTS PID Controller. WORDS (2005)
Tom Anderson, Brian Randell, Alexander B. Romanovsky
Wrapping the future. IFIP Congress Topical Sessions (2004)
Tom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky
Protective Wrapper Development: A Case Study. ICCBSS (2003)
Amer Saeed, Rogério de Lemos, Tom Anderson
Safety Analysis for Requirements Specifications: Methods and Techniques. SAFECOMP (1995)
Rogério de Lemos, Amer Saeed, Tom Anderson
Analyzing Safety Requirements for Process-Control Systems. IEEE Softw. 12 (3) (1995)
Amer Saeed, Rogério de Lemos, Tom Anderson
Robust Requirements Specifications for Safety - Critical Systems. SAFECOMP (1993)
Rogério de Lemos, Amer Saeed, Tom Anderson
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems. Comput. J. 35 (1) (1992)
Rogério de Lemos, Amer Saeed, Tom Anderson
Analysis of Timeliness Requirements in Safety-Critical Systems. FTRTFT (1992)
Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed
On Foraml Support for Industrial-Scale Requirements Analysis. Hybrid Systems (1992)
Amer Saeed, Rogério de Lemos, Tom Anderson
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example. FTCS (1991)