BibTeX record conf/socc/SonigaraSSWAPAKVTHM23

• > Home > conf/socc/SonigaraSSWAPAKVTHM23

@inproceedings{DBLP:conf/socc/SonigaraSSWAPAKVTHM23,
  author       = {Balmukund Sonigara and
                  Sakir Sezer and
                  Fahad Siddiqui and
                  Raphael Weber and
                  Konstantinos Antonopoulos and
                  Christos Panagiotou and
                  Christos P. Antonopoulos and
                  Georgios Keramidas and
                  Nikolaos S. Voros and
                  Sena Yengec Tasdemir and
                  Henry Hui and
                  Kieran McLaughlin},
  editor       = {J{\"{u}}rgen Becker and
                  Andrew Marshall and
                  Tanja Harbaum and
                  Amlan Ganguly and
                  Fahad Siddiqui and
                  Kieran McLaughlin},
  title        = {{XANDAR:} Verification {\&} Validation Approach for Safety-critical
                  Systems},
  booktitle    = {36th {IEEE} International System-on-Chip Conference, {SOCC} 2023,
                  Santa Clara, CA, USA, September 5-8, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SOCC58585.2023.10257177},
  doi          = {10.1109/SOCC58585.2023.10257177},
  timestamp    = {Mon, 05 Feb 2024 20:34:44 +0100},
  biburl       = {https://dblp.org/rec/conf/socc/SonigaraSSWAPAKVTHM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}