登入選單
Google圖書搜尋
An Introduction to System Safety Engineering
作者
Nancy G. Leveson
出版MIT Press, 2023-11-14
ISBN
9780262546881 / 0262546884
主題
Technology & Engineering
SafeWare
作者
Nancy Leveson
出版Addison-Wesley Professional, 1995
ISBN
UOM:39015034393770
主題
Computers
Engineering a Safer World
作者
Nancy G. Leveson
出版2012
ISBN
0262299119 / 9780262299114
主題
Electronic books
Engineering a Safer World
作者
Nancy Leveson
出版MIT Press, 2011
ISBN
9780262016629 / 0262016621
主題
Language Arts & Disciplines
A Comprehensive Safety Engineering Approach for So...
作者
Asim Abdulkhaleq / Stefan Wagner / Nancy Leveson
出版2015
ISBN
OCLC:971207262
An Introduction to System Safety Engineering
作者
Nancy Leveson
出版2023-09
ISBN
026237675X / 9780262376754
Resilience Engineering
作者
Professor David D Woods / Professor Nancy Leveson / Professor Erik Hollnagel
出版Ashgate Publishing, Ltd., 2012-10-01
ISBN
9781409463061 / 1409463060
主題
Transportation
Software System Safety Class (SSSC1)
作者
Nancy Leveson / United States. National Aeronautics and Space Administration
出版2004
ISBN
OCLC:56995025
主題
Software engineering
An Assessment of Space Shuttle Flight Software Dev...
作者
National Research Council / Division on Engineering and Physical Sciences / Commission on Engineering and Technical Systems / Aeronautics and Space Engineering Board / Committee for Review of Oversight Mechanisms for Space Shuttle Flight Software Processes
出版National Academies Press, 1993-02-01
ISBN
9780309048804 / 030904880X
主題
Science
An Empirical Comparison of Software Fault Toleranc...
作者
Timothy J. Shimeall / Nancy G. Leveson / NAVAL POSTGRADUATE SCHOOL MONTEREY CA. / Naval Postgraduate School (U.S.)
出版1989
ISBN
OCLC:227751057
主題
Computer programming
Software for Critical Systems
作者
Nancy Leveson / Peter Neumann
出版1993
ISBN
OCLC:437067394
Safety Analysis of Automated Highway Systems
作者
Nancy G. Leveson
出版1997
ISBN
OCLC:173303464
主題
Automobiles
Women in Computer Science
作者
Nancy Leveson
出版1989
ISBN
OCLC:63948774
主題
Computer science
Software Safety
作者
Nancy G. Leveson
出版1981
ISBN
OCLC:15187460
Software Safety
作者
Nancy G. Leveson
出版1987
ISBN
OCLC:226153350
主題
Computer software
Analysis of Faults in an N-version Software Experi...
作者
Susan S. Brilliant / John C. Knight / Nancy G. Leveson
出版1986
ISBN
OCLC:256025958
Requirements Specification for Process-control Sys...
作者
Nancy G. Leveson
出版1992
ISBN
OCLC:255530067
Software Safety
作者
Nancy G. Leveson
出版1986
ISBN
OCLC:15188443
主題
Computer software
Analyzing Safety and Fault Tolerance Using Time Pe...
作者
Nancy G. Leveson
出版1984
ISBN
OCLC:15177053
主題
Fault-tolerant computing
Completeness, Robustness, and Safety in Real-time ...
作者
Matthew Saul Jaffe / Nancy G. Leveson
出版1989
ISBN
OCLC:22829358
主題
Computer programs
An Evaluation of Software Fault Tolerance Techniqu...
作者
Nancy G. Leveson
出版1982
ISBN
OCLC:13084905
An Empirical Comparison of Software Fault Toleranc...
作者
Timothy J. Shimeall
出版1989
ISBN
OCLC:227751057
主題
Computer programming
An Investigation of the Therac-25 Accidents
作者
Nancy G. Leveson / Clark S. Turner
出版1992
ISBN
OCLC:255530427
Computers and risk
出版1995
ISBN
OCLC:915828434
Building Safe Software
作者
Nancy G. Leveson
出版1986
ISBN
OCLC:14942713
主題
Computer software
Safety Verification of ADA Programs in MURPHY
作者
Stephen Sungdeok Cha / Nancy G. Leveson / Timothy J. Shimeall
出版1987
ISBN
OCLC:17165961
主題
Computer programs
Applying Behavioral Abstraction to Information Sys...
作者
Nancy Gail Leveson
出版1980
ISBN
OCLC:7166177
主題
Information storage and retrieval systems
Specification, Verification, and Enforcement of Se...
作者
Nancy G. Leveson / Anthony I. Wasserman
出版1980*
ISBN
OCLC:9073395
主題
Database management