| 1995 |
|---|
| 7 | | Ted Ralston,
Susan L. Gerhart,
Dan Craigen:
The Role of Education and Trainig in the Industrial Application of Formal Methods.
AMAST 1995: 41-49 |
| 6 | EE | Dan Craigen,
Susan L. Gerhart,
Ted Ralston:
Formal Methods Reality Check: Industrial Usage.
IEEE Trans. Software Eng. 21(2): 90-98 (1995) |
| 1994 |
|---|
| 5 | EE | Susan L. Gerhart,
Dan Craigen,
Ted Ralston:
Experience with Formal Methods in Critical Systems.
IEEE Software 11(1): 21-28 (1994) |
| 4 | EE | Susan L. Gerhart,
Dan Craigen,
Ted Ralston:
Case Study: Darlington Nuclear Generating Station.
IEEE Software 11(1): 30-39, 28 (1994) |
| 1993 |
|---|
| 3 | | Dan Craigen,
Susan L. Gerhart,
Ted Ralston:
Formal Methods Reality Check: Industrial Usage.
FME 1993: 250-267 |
| 2 | EE | Susan L. Gerhart,
Dan Craigen,
Ted Ralston:
Observations on Industrial Practice Using Formal Methods.
ICSE 1993: 24-33 |
| 1992 |
|---|
| 1 | | Dan Craigen,
Susan L. Gerhart,
Ted Ralston:
An International Survey of Industrial Applications of Formal Methods.
Z User Workshop 1992: 1-5 |
