Authors: CRAIGEN D GERHART S RALSTON T

Citation: D. Craigen et al., FORMAL METHODS REALITY CHECK - INDUSTRIAL USAGE, IEEE transactions on software engineering, 21(2), 1995, pp. 90-98

Authors: GERHART S CRAIGEN D RALSTON T

Citation: S. Gerhart et al., EXPERIENCE WITH FORMAL METHODS IN CRITICAL SYSTEMS, IEEE software, 11(1), 1994, pp. 21-28

Authors: CRAIGEN D GERHART S RALSTON T

Citation: D. Craigen et al., CASE-STUDY - DARLINGTON-NUCLEAR-GENERATING-STATION, IEEE software, 11(1), 1994, pp. 30-32

Authors: GERHART S CRAIGEN D RALSTON T

Citation: S. Gerhart et al., CASE-STUDY - PARIS-METRO-SIGNALING-SYSTEM, IEEE software, 11(1), 1994, pp. 32-35

Authors: CRAIGEN D GERHART S RALSTON T

Citation: D. Craigen et al., CASE-STUDY - TRAFFIC ALERT AND COLLISION-AVOIDANCE SYSTEM, IEEE software, 11(1), 1994, pp. 35-37

Authors: GERHART S CRAIGEN D RALSTON T

Citation: S. Gerhart et al., CASE-STUDY - MULTINET GATEWAY SYSTEM, IEEE software, 11(1), 1994, pp. 37-39