BibTeX

@article{DBLP:journals/jip/SatoHSIY20,
  author       = {Shuichi Sato and
                  Shogo Hattori and
                  Hiroyuki Seki and
                  Yutaka Inamori and
                  Shoji Yuen},
  title        = {Automating Time-series Safety Analysis for Automotive Control Systems
                  Using Weighted Partial Max-SMT},
  journal      = {J. Inf. Process.},
  volume       = {28},
  pages        = {124--135},
  year         = {2020},
  url          = {https://doi.org/10.2197/ipsjjip.28.124},
  doi          = {10.2197/IPSJJIP.28.124},
  timestamp    = {Mon, 03 Mar 2025 22:16:59 +0100},
  biburl       = {https://dblp.org/rec/journals/jip/SatoHSIY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}