Ted Ralston

According to our database, Ted Ralston authored at least 6 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Formal Methods Reality Check: Industrial Usage.

Dan Craigen, Susan L. Gerhart, Ted Ralston

IEEE Trans. Software Eng., 1995

The Role of Education and Trainig in the Industrial Application of Formal Methods.

Ted Ralston, Susan L. Gerhart, Dan Craigen

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

Case Study: Darlington Nuclear Generating Station.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

Experience with Formal Methods in Critical Systems.

Susan L. Gerhart, Dan Craigen, Ted Ralston

IEEE Softw., 1994

1993

Observations on Industrial Practice Using Formal Methods.

Susan L. Gerhart, Dan Craigen, Ted Ralston

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

An International Survey of Industrial Applications of Formal Methods.

Dan Craigen, Susan L. Gerhart, Ted Ralston

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992