Personensuche
X
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
4
Event-B Development of Modelling Human Intervention Request..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
6
Designing Critical Systems Using Hierarchical STPA and Even..:
, In:
?
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) ,
10