Ted Ralston

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

Publications

Ted Ralston, Susan L. Gerhart, Dan Craigen
The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST (1995)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. IEEE Trans. Software Eng. 21 (2) (1995)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Case Study: Darlington Nuclear Generating Station. IEEE Softw. 11 (1) (1994)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Experience with Formal Methods in Critical Systems. IEEE Softw. 11 (1) (1994)
Susan L. Gerhart, Dan Craigen, Ted Ralston
Observations on Industrial Practice Using Formal Methods. ICSE (1993)
Dan Craigen, Susan L. Gerhart, Ted Ralston
Formal Methods Reality Check: Industrial Usage. FME (1993)
Dan Craigen, Susan L. Gerhart, Ted Ralston
An International Survey of Industrial Applications of Formal Methods. Z User Workshop (1992)