AAAAAA

   
Results: 1-11 |
Results: 11
SOFTWARE ENGINEERING - STRETCHING THE LIMITS OF COMPLEXITY
Authors: LEVESON NG
Citation: Ng. Leveson, SOFTWARE ENGINEERING - STRETCHING THE LIMITS OF COMPLEXITY, Communications of the ACM, 40(2), 1997, pp. 129-131
COMPLETENESS AND CONSISTENCY IN HIERARCHICAL STATE-BASED REQUIREMENTS
Authors: HEIMDAHL MPE LEVESON NG
Citation: Mpe. Heimdahl et Ng. Leveson, COMPLETENESS AND CONSISTENCY IN HIERARCHICAL STATE-BASED REQUIREMENTS, IEEE transactions on software engineering, 22(6), 1996, pp. 363-377
UNTITLED
Authors: LEVESON NG
Citation: Ng. Leveson, UNTITLED, IEEE transactions on software engineering, 22(1), 1996, pp. 1-2
SAFETY AS A SYSTEM PROPERTY
Authors: LEVESON NG
Citation: Ng. Leveson, SAFETY AS A SYSTEM PROPERTY, Communications of the ACM, 38(11), 1995, pp. 146-146
REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS
Authors: LEVESON NG HEIMDAHL MPE HILDRETH H REESE JD
Citation: Ng. Leveson et al., REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS, IEEE transactions on software engineering, 20(9), 1994, pp. 684-707
HIGH-PRESSURE STEAM ENGINES AND COMPUTER SOFTWARE
Authors: LEVESON NG
Citation: Ng. Leveson, HIGH-PRESSURE STEAM ENGINES AND COMPUTER SOFTWARE, Computer, 27(10), 1994, pp. 65
AN INVESTIGATION OF THE THERAC-25 ACCIDENTS
Authors: LEVESON NG TURNER CS
Citation: Ng. Leveson et Cs. Turner, AN INVESTIGATION OF THE THERAC-25 ACCIDENTS, Computer, 26(7), 1993, pp. 18-41
THERAC-25 REVISITED - REPLY
Authors: LEVESON NG TURNER CS
Citation: Ng. Leveson et Cs. Turner, THERAC-25 REVISITED - REPLY, Computer, 26(10), 1993, pp. 4-4
THERAC-25 REVISITED - REPLY
Authors: LEVESON NG TURNER CS
Citation: Ng. Leveson et Cs. Turner, THERAC-25 REVISITED - REPLY, Computer, 26(10), 1993, pp. 4-4
THERAC-25 REVISITED - REPLY
Authors: LEVESON NG TURNER CS
Citation: Ng. Leveson et Cs. Turner, THERAC-25 REVISITED - REPLY, Computer, 26(10), 1993, pp. 5-5
THERAC-25 REVISITED - REPLY
Authors: LEVESON NG TURNER CS
Citation: Ng. Leveson et Cs. Turner, THERAC-25 REVISITED - REPLY, Computer, 26(10), 1993, pp. 5-5
Risultati: 1-11 |