Tom Anderson

Affiliations:
  • University of Newcastle upon Tyne, UK


According to our database1, Tom Anderson authored at least 10 papers between 1991 and 2005.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Error Recovery for a Boiler System with OTS PID Controller.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

2004
Wrapping the future.
Proceedings of the Building the Information Society, 2004

2003
Protective Wrapper Development: A Case Study.
Proceedings of the COTS-Based Software Systems, Second International Conference, 2003

1995
Analyzing Safety Requirements for Process-Control Systems.
IEEE Softw., 1995

Safety Analysis for Requirements Specifications: Methods and Techniques.
Proceedings of the 14th International Conference on Computer Safety, 1995

1993
Robust Requirements Specifications for Safety - Critical Systems.
Proceedings of the 12th International Conference on Computer Safety, 1993

1992
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems.
Comput. J., 1992

On Foraml Support for Industrial-Scale Requirements Analysis.
Proceedings of the Hybrid Systems, 1992

Analysis of Timeliness Requirements in Safety-Critical Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991


  Loading...