Skip to content

Uses of Vehicle

Jump to bottom
Matthew Daggitt edited this page May 28, 2026 · 3 revisions

These are examples of projects that use Vehicle:

  • Robert Flood, Marco Casadio, David Aspinall, and Ekaterina Komendantskaya. 2025. Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. In Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC '25). Association for Computing Machinery, New York, NY, USA, 1867–1876. https://doi.org/10.1145/3672608.3707927

Clone this wiki locally