Gu, R., Marinescu, R., Seceleanu, C., & Lundqvist, K. (2018, June 2). Formal Verification of an Autonomous Wheel Loader by Model Checking. 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 74-83. https://doi.org/10.1145/3193992.3193999
Citácia podle Chicago (17th ed.)Gu, Rong, Raluca Marinescu, Cristina Seceleanu, a Kristina Lundqvist. "Formal Verification of an Autonomous Wheel Loader by Model Checking." 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) 2 Jun. 2018: 74-83. https://doi.org/10.1145/3193992.3193999.
Citácia podľa MLA (8th ed.)Gu, Rong, et al. "Formal Verification of an Autonomous Wheel Loader by Model Checking." 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2 Jun. 2018, pp. 74-83, https://doi.org/10.1145/3193992.3193999.