yr 〜
yr

Search results 39

Software Safety Hazard Analysis NUREG/CR-6430 TI96 006597 UCRL-ID-122514

Software Safety Hazard Analysis NUREG/CR-6430 TI96 006597 UCRL-ID-122514
Microform規格・テクニカルリポート類
Lawrence, J. D1996<LS-TI96/006597>
National Diet Library

Safety and security issues in developing and operating in intelligent transportation systems UCRL-JC-120144 DE96 001748 CONF-95062731

Safety and security issues in developing and operating in intelligent transportation systems UCRL-JC-120144 DE96 001748 CONF-95062731
Microform規格・テクニカルリポート類
Lawrence, J. D1995<LS-DE96/001748>
National Diet Library

Overview of software safety standards UCRL-JC-122249 DE96 004152 CONF-95111602

Overview of software safety standards UCRL-JC-122249 DE96 004152 CONF-95111602
Microform規格・テクニカルリポート類
Lawrence, J. D1995<LS-DE96/004152>
National Diet Library

Workshop on Developing Safe Software NUREG/CP-0145 TI95 006181 CONF-9207249

Workshop on Developing Safe Software NUREG/CP-0145 TI95 006181 CONF-9207249
Microform規格・テクニカルリポート類
Lawrence, J. D1994<LS-TI95/006181>
National Diet Library

Issues and relationships among software standards for nuclear safety applications. Version 2.0 UCRL-ID-123349 DE96 009615

Issues and relationships among software standards for nuclear safety applications. Version 2.0 UCRL-ID-123349 DE96 009615
Microform規格・テクニカルリポート類
Scott, J. A, Preckshot, G. G, Lawrence, J. D, Johnson, G. L1996<LS-DE96/009615>
National Diet Library

Testing existing software for safety-related applications. Revision 7.1 UCRL-ID-117224-Rev.7.1 DE96 011658

Testing existing software for safety-related applications. Revision 7.1 UCRL-ID-117224-Rev.7.1 DE96 011658
Microform規格・テクニカルリポート類
Scott, J. A, Lawrence, J. D1995<LS-DE96/011658>
National Diet Library

Survey of industry methods for producing highly reliable software NUREG/CR-6278 TI95 003935 UCRL-ID-117524

Survey of industry methods for producing highly reliable software NUREG/CR-6278 TI95 003935 UCRL-ID-117524
Microform規格・テクニカルリポート類
Lawrence, J. D, Persons, W. L1994<LS-TI95/003935>
National Diet Library

Design factors for safety-critical software NUREG/CR-6294 TI95 004172

Design factors for safety-critical software NUREG/CR-6294 TI95 004172
Microform規格・テクニカルリポート類
Lawrence, J. D, Preckshot, G. G1994<LS-TI95/004172>
National Diet Library

SOFTWARE SAFETY HAZARD ANALYSIS. (NUREG ; NUREG/CR-6430)

SOFTWARE SAFETY HAZARD ANALYSIS. (NUREG ; NUREG/CR-6430)
Paper図書
LAWRENCE, J.D.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1996.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

SURVEY OF INDUSTRY METHODS FOR PRODUCING HIGHLY RELIABLE SOFTWARE. (NUREG ; NUREG/CR-6278)

SURVEY OF INDUSTRY METHODS FOR PRODUCING HIGHLY RELIABLE SOFTWARE. (NUREG ; NUREG/CR-6278)
Paper図書
LAWRENCE, J.D.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1994.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

ISSUES AND RELATIONSHIPS AMONG SOFTWARE STANDARDS FOR NUCLEAR SAFETY APPLICATIONS. VERSION 2.0 (UCRL ; UCRL-ID-123349)

ISSUES AND RELATIONSHIPS AMONG SOFTWARE STANDARDS FOR NUCLEAR SAFETY APPLICATIONS. VERSION 2.0 (UCRL ; UCRL-ID-123349)
Paper図書
SCOTT, J.A.// PRECKSHOT, G.G.// LAWRENCE, J.D.// JOHNSON, G.L. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1996.
Other Libraries in Japan
  • Author HeadingSCOTT, J.A. PRECKSHOT, G.G. LAWRENCE, J.D. JOHNSON, G.L.

DESIGN FACTORS FOR SAFETY-CRITICAL SOFTWARE. (NUREG ; NUREG/CR-6294)

DESIGN FACTORS FOR SAFETY-CRITICAL SOFTWARE. (NUREG ; NUREG/CR-6294)
Paper図書
LAWRENCE, J.D.(et al.)NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1994.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

OVERVIEW OF SOFTWARE SAFETY STANDARDS (UCRL ; UCRL-JC-122249)

OVERVIEW OF SOFTWARE SAFETY STANDARDS (UCRL ; UCRL-JC-122249)
Paper図書
LAWRENCE, J.D. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1995.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

SAFETY AND SECURITY ISSUES IN DEVELOPING AND OPERATING IN INTELLIGENT TRANSPORTATION SYSTEMS (UCRL ; UCRL-JC-120144)

SAFETY AND SECURITY ISSUES IN DEVELOPING AND OPERATING IN INTELLIGENT TRANSPORTATION SYSTEMS (UCRL ; UCRL-JC-120144)
Paper図書
LAWRENCE, J.D. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1995.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

WORKSHOP ON DEVELOPING SAFE SOFTWARE. (NUREG ; NUREG/CP-0145)

WORKSHOP ON DEVELOPING SAFE SOFTWARE. (NUREG ; NUREG/CP-0145)
Paper図書
LAWRENCE, J.D.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1994.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

TESTING EXISTING SOFTWARE FOR SAFETY-RELATED APPLICATIONS. REVISION 7.1 (UCRL ; UCRL-ID-117224-REV.7.1)

TESTING EXISTING SOFTWARE FOR SAFETY-RELATED APPLICATIONS. REVISION 7.1 (UCRL ; UCRL-ID-117224-REV.7.1)
Paper図書
SCOTT, J.A.// LAWRENCE, J.D. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1995.
Other Libraries in Japan
  • Author HeadingSCOTT, J.A. LAWRENCE, J.D.

SOFTWARE RELIABILITY AND SAFETY IN NUCLEAR REACTOR PROTECTION SYSTEMS. (NUREG ; NUREG/CR-6101)

SOFTWARE RELIABILITY AND SAFETY IN NUCLEAR REACTOR PROTECTION SYSTEMS. (NUREG ; NUREG/CR-6101)
Paper図書
LAWRENCE, J.D.NUREG (U.S. Nuclear Regulatory Commission)(NUREG (U.S. Nuclear Regulatory Commission))1993.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.

EVALUATING SOFTWARE FOR SAFETY SYSTEMS IN NUCLEAR POWER PLANTS (UCRL ; UCRL-JC-116038)

EVALUATING SOFTWARE FOR SAFETY SYSTEMS IN NUCLEAR POWER PLANTS (UCRL ; UCRL-JC-116038)
Paper図書
LAWRENCE, J.D.// PERSONS, W.L.// PRECKSHOT, G.G.// GALLAGHER, J. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1994.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D. PERSONS, W.L. PRECKSHOT, G.G....

CLASS 1E SOFTWARE VERIFICATION AND VALIDATION: PAST, PRESENT, AND FUTURE (UCRL ; UCRL-JC-114806)

CLASS 1E SOFTWARE VERIFICATION AND VALIDATION: PAST, PRESENT, AND FUTURE (UCRL ; UCRL-JC-114806)
Paper図書
PERSONS, W.L.// LAWRENCE, J.D. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1993.
Other Libraries in Japan
  • Author HeadingPERSONS, W.L. LAWRENCE, J.D.

WORKSHOP ON DEVELOPING SAFE SOFTWARE (UCRL ; UCRL-ID-113438)

WORKSHOP ON DEVELOPING SAFE SOFTWARE (UCRL ; UCRL-ID-113438)
Paper図書
LAWRENCE, J.D. (LAWRENCE LIVERMORE NATIONAL LAB., CA (UNITED STATES))University of California Research Laboratory(University of California Research Laboratory)1992.
Other Libraries in Japan
  • Author HeadingLAWRENCE, J.D.