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
Citace podle Chicago (17th ed.)Gil Dantas, Yuri, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, a 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.
Citace podle MLA (9th ed.)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.