• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, and Sergey Tverdyshev. A Toolchain for Synthesizing and Validating Safety Architectures. SN Comput. Sci., 4(4):335, 2023.
[PDF] [gzipped postscript] [postscript] [HTML]
(unavailable)
@article{dantas23sn,
author = {Yuri Gil Dantas and
Tiziano Munaro and
Carmen C{\^{a}}rlan and
Vivek Nigam and
Simon Barner and
Shiqing Fan and
Alexander Pretschner and
Ulrich Sch{\"{o}}pp and
Sergey Tverdyshev},
title = {A Toolchain for Synthesizing and Validating Safety Architectures},
journal = {{SN} Comput. Sci.},
volume = {4},
number = {4},
pages = {335},
year = {2023},
url = {https://doi.org/10.1007/s42979-023-01712-5},
doi = {10.1007/S42979-023-01712-5},
timestamp = {Thu, 15 Jun 2023 21:57:12 +0200},
biburl = {https://dblp.org/rec/journals/sncs/DantasMCNBFPST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
bib2html_pubtype = {Journal},
bib2html_rescat = {Model-Based Engineering},
bib2html_dl_pdf = "/docs/sn23.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57