Search for persons
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
2
Event-B Development of Modelling Human Intervention Request..:
, In:
?
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) ,
5
A Rigorous Iterative Analysis Approach for Capturing the Sa..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
7
Designing Critical Systems Using Hierarchical STPA and Even..:
, In:
?