APA (7th ed.) Citation

Kobayashi, T., Bondu, M., & Ishikawa, F. (2024). Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.

Chicago Style (17th ed.) Citation

Kobayashi, Tsutomu, Martin Bondu, and Fuyuki Ishikawa. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. 2024.

MLA (9th ed.) Citation

Kobayashi, Tsutomu, et al. Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. 2024.