*Result*: SafeArchDSL: An Architecture Modeling Language for Modeling and Verification of Safety Mechanism
Title:
SafeArchDSL: An Architecture Modeling Language for Modeling and Verification of Safety Mechanism
Authors:
Source:
2025 7th International Conference on System Reliability and Safety Engineering (SRSE) System Reliability and Safety Engineering (SRSE), 2025 7th International Conference on. :606-611 Nov, 2025
Relation:
2025 7th International Conference on System Reliability and Safety Engineering (SRSE)
Database:
IEEE Xplore Digital Library