DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Nancy Leveson
Nancy Leveson
System Safety Engineering: Back to the Future
Manuscript Instructions/Template
Infrastructure (Resilience-Oriented) Modelling Language: I®ML
IS2018 Book of Abstract
Model for Safety Case Modeling and Documentation
Systems Theoretic Process Analysis (STPA): a Bibliometric and Patents Analysis
Manuscript Instructions/Template
Download from an Unknown Website Cannot Be Said to Be ‘Safe’ Just Because It Happens Not to Harbor a Virus
Machine Learning Testing: Survey, Landscapes and Horizons
Decision Procedures for Algebraic Data Types With
Why Software Is So Bad
Safety III: a Systems Approach to Safety and Resilience
CAST HANDBOOK: How to Learn More from Incidents and Accidents
Machine Learning Testing: Survey, Landscapes and Horizons
A Systems-Theoretic Approach to Safety in Software-Intensive Systems
Fully Countering Trusting Trust Through Diverse Double-Compiling
Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines
Syen-043.Pdf
Top View
Systems-Theoretic Accident Model and Processes (STAMP) Applied to a U.S
STRIVE Report Series No.125
An Engineering Perspective on Avoiding Inadvertent Nuclear War1 Prof
Safety Analysis Integration in a Systems Engineering Approach for Mechatronic Systems Design Faïda Mhenni
Software Engineering Education Directory (1991)
(STAMP) to Hazard Analysis APPLYING SYSTEM-THEORETIC ACCIDENT MODEL AND
Contents U U U
NASA Final Report System Safety for Highly Distributed Air Traffic Management Award Number NNXI4AC71A
Ada User Journal
The Role of Software in Spacecraft Accidents
Integration Between Requirements Engineering and Safety Analysis: a Systematic Literature Review
MODEL-BASED SYSTEMS ENGINEERING for DESIGN, MANAGEMENT, and GOVERNANCE of PROTECTIVE SYSTEMS a Dissertation by DIANA GALLART
NASA Software Safety Guidebook
Academic Legitimacy of the Software Engineering Discipline
Information System Hazard Analysis by Fieran Mason-Blakley B.Sc
Qualitative and Quantitative Formal Model-Based Safety Analysis
Constraints and Controls: the Sociotechnical Model of Site Reliability Engineering
Tailorability-Focused Recommendations for United States Air Force Software Acquisition Policy
A Bibliography of Publications in Communications of the ACM : 1990–1999
Table of Contents
Exploring System Resiliency and Supporting Design Methods
Dr Mikela CHATZIMICHAILIDOU Phd Msc Meng Ceng MIET Fsars Systems Engineering & Assurance
Quantum Programming for Embedded Systems: Toward a Hassle-Free Multithreading
Using STPA to Inform Developmental Product Testing By
PEMS): from Requirements to Code
Reliable Software Technologies – Ada-Europe 2013
A New Accident Model for Engineering Safer Systems ∗
Association for Computing Machinery 2 Penn Plaza, Suite 701, New York
Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning
Controller(S) Controlled Process Sensor(S
STPA Handbook
A System-Theoretic Safety Engineering Approach for Software
Software Engineering Education Directory
An Engineering Perspective on Avoiding Inadvertent Nuclear War Technology for Global Security Special Report