default search action
"A Toolchain for Synthesizing and Validating Safety Architectures."
Yuri Gil Dantas et al. (2023)
- Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev:
A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci. 4(4): 335 (2023)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.