Gil Dantas, Y., Munaro, T., Carlan, C., Nigam, V., Barner, S., Fan, S., . . . Tverdyshev, S. (2023). A Toolchain for Synthesizing and Validating Safety Architectures. SN computer science, 4(4), 335. https://doi.org/10.1007/s42979-023-01712-5
Chicago-Zitierstil (17. Ausg.)Gil Dantas, Yuri, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, und Sergey Tverdyshev. "A Toolchain for Synthesizing and Validating Safety Architectures." SN Computer Science 4, no. 4 (2023): 335. https://doi.org/10.1007/s42979-023-01712-5.
MLA-Zitierstil (9. Ausg.)Gil Dantas, Yuri, et al. "A Toolchain for Synthesizing and Validating Safety Architectures." SN Computer Science, vol. 4, no. 4, 2023, p. 335, https://doi.org/10.1007/s42979-023-01712-5.