BibTeX record conf/ictes/Kharchenko20

download as .bib file

@inproceedings{DBLP:conf/ictes/Kharchenko20,
  author       = {Vyacheslav Kharchenko},
  editor       = {Yuriy P. Kondratenko and
                  Vladik Kreinovich and
                  Dan Simon and
                  Yaroslav M. Krainyk},
  title        = {Independent Verification and Diversity: The Echelons for Assurance
                  of Cyber Physical Systems Safety},
  booktitle    = {Proceedings of the 2nd International Workshop on Information-Communication
                  Technologies {\&} Embedded Systems {(ICTES} 2020) Mykolaiv, Ukraine
                  (online), November 12, 2020., Mykolaiv, Ukraine (online), November
                  12, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2762},
  pages        = {19--29},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2762/invited2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ictes/Kharchenko20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}