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
Citácia 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.
Citácia podľa MLA (8th 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.