Refining Abstract Specifications into Dangerous Traffic Scenarios

Aren A. Babikian. Refining Abstract Specifications into Dangerous Traffic Scenarios. In Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024. pages 456-458, ACM, 2024. [doi]

Authors

Aren A. Babikian

This author has not been identified. Look up 'Aren A. Babikian' in Google