Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, proceedings

Veröffentlicht 2019

Paracosm: A Test Framework for Autonomous Driving Simulations

von Majumdar, Rupak
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

Verification, model checking, and abstract interpretation : 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings

Veröffentlicht 2020