A Practical Formal Model for Safety Analysis in Capability-Based Systems

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/11580850_14 ◽

2005 ◽

pp. 248-278 ◽

Cited By ~ 8

Author(s):

Fred Spiessens ◽

Peter Van Roy

Keyword(s):

Formal Model ◽

Safety Analysis

Formal Model Based Safety Analysis Methods and the Application

Civil Aircraft Electrical Power System Safety Assessment ◽

10.1016/b978-0-08-100721-1.00010-8 ◽

2017 ◽

pp. 259-287

Author(s):

Peng Wang

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Model Based ◽

Analysis Methods

A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis

2010 IEEE 12th International Symposium on High Assurance Systems Engineering ◽

10.1109/hase.2010.24 ◽

2010 ◽

Cited By ~ 33

Author(s):

Matthias Gudemann ◽

Frank Ortmeier

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Qualitative And Quantitative ◽

Model Based

Formal model-based quantitative safety analysis using timed Coloured Petri Nets

Reliability Engineering & System Safety ◽

10.1016/j.ress.2018.03.035 ◽

2018 ◽

Vol 176 ◽

pp. 62-79 ◽

Cited By ~ 10

Author(s):

Daohua Wu ◽

Wei Zheng

Keyword(s):

Petri Nets ◽

Formal Model ◽

Safety Analysis ◽

Coloured Petri Nets ◽

Model Based

Formal model of human erroneous behavior for safety analysis in collaborative robotics

Robotics and Computer-Integrated Manufacturing ◽

10.1016/j.rcim.2019.01.001 ◽

2019 ◽

Vol 57 ◽

pp. 465-476 ◽

Cited By ~ 11

Author(s):

Mehrnoosh Askarpour ◽

Dino Mandrioli ◽

Matteo Rossi ◽

Federico Vicentini

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Collaborative Robotics

A Case Study of Formal Model based System Safety Analysis in Aviation

2019 3rd International Conference on Electronic Information Technology and Computer Engineering (EITCE) ◽

10.1109/eitce47263.2019.9094811 ◽

2019 ◽

Author(s):

Jun Hu ◽

Mengye Shi ◽

Zhongjie Gao ◽

Wei Yin

Keyword(s):

Formal Model ◽

Safety Analysis ◽

System Safety ◽

Model Based

Safety analysis and assessment for complicated aircraft system based on formal model

Manufacture Engineering and Environment Engineering ◽

10.2495/meee130131 ◽

2013 ◽

Cited By ~ 1

Author(s):

Xin Liu ◽

Xiping Tang ◽

Duo Su

Keyword(s):

Formal Model ◽

Safety Analysis ◽

Aircraft System

Proofs from Formal Model in Chapter 4

Delegating Powers ◽

10.1017/cbo9780511609312.012 ◽

1999 ◽

pp. 245-256

Keyword(s):

Formal Model

Supplemental Material for A Formal Model of Leadership Goal Striving: Development of Core Process Mechanisms and Extensions to Action Team Context

Journal of Applied Psychology ◽

10.1037/apl0000370.supp ◽

2018 ◽

Keyword(s):

Formal Model ◽

Goal Striving ◽

Action Team

The memory state heuristic: A formal model based on repeated recognition judgments.

Journal of Experimental Psychology Learning Memory and Cognition ◽

10.1037/xlm0000299 ◽

2017 ◽

Vol 43 (2) ◽

pp. 205-225 ◽

Cited By ~ 2

Author(s):

Marta Castela ◽

Edgar Erdfelder

Keyword(s):

Formal Model ◽

Memory State ◽

Model Based ◽

Recognition Judgments

Decision letter for "A real‐world efficacy and safety analysis of combined carfilzomib, lenalidomide, and dexamethasone (KRd) in relapsed/refractory multiple myeloma"

10.1002/hon.2820/v2/decision1 ◽

2020 ◽

Keyword(s):

Multiple Myeloma ◽

Real World ◽

Safety Analysis ◽

Efficacy And Safety ◽

Refractory Multiple Myeloma