Personensuche
X
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
1
CSP specification and verification of relay-based railway i..:
, In:
?
Lecture Notes in Computer Science; Risks and Security of Internet and Systems ,
7
Formalizing for Proving the System Safety of the Software C..:
, In:
?
Lecture Notes in Computer Science; Risks and Security of Internet and Systems ,
8
FERROMOBILE and Security for Low Moment of Traffic Level Cr..:
, In:
?
2023 International Conference on Control, Automation and Diagnosis (ICCAD) ,
9
A railway norms application for small traffic railway lines..:
, In:
?
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
10
Formal alignment of requirements models with high-level arc..:
, In:
?
11
Reliability, Safety, and Security of Railway Systems. Model..
Lecture Notes in Computer Science, 14198
?
Lecture Notes in Computer Science; Risks and Security of Internet and Systems ,
14