Inproceedings,
Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.
C. Hobbs, S. Xu, B. Ghosh, E. Fraccaroli, P. Duggirala, and S. Chakraborty.ICCPS, page 99-110. IEEE, (2024)
Meta data
- BibTeX key
- conf/iccps/HobbsXGFDC24
- entry type
- inproceedings
- booktitle
- ICCPS
- year
- 2024
- pages
- 99-110
- publisher
- IEEE
- crossref
- conf/iccps/2024
- ee
- https://doi.org/10.1109/ICCPS61052.2024.00016
- isbn
- 979-8-3503-6927-4
- url
- http://dblp.uni-trier.de/db/conf/iccps/iccps2024.html#HobbsXGFDC24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccps/HobbsXGFDC24
%A Hobbs, Clara
%A Xu, Shengjie
%A Ghosh, Bineet
%A Fraccaroli, Enrico
%A Duggirala, Parasara Sridhar
%A Chakraborty, Samarjit
%B ICCPS
%D 2024
%I IEEE
%K dblp
%P 99-110
%T Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.
%U http://dblp.uni-trier.de/db/conf/iccps/iccps2024.html#HobbsXGFDC24
%@ 979-8-3503-6927-4
@inproceedings{conf/iccps/HobbsXGFDC24,
added-at = {2024-07-18T00:00:00.000+0200},
author = {Hobbs, Clara and Xu, Shengjie and Ghosh, Bineet and Fraccaroli, Enrico and Duggirala, Parasara Sridhar and Chakraborty, Samarjit},
biburl = {https://www.bibsonomy.org/bibtex/260085dedd4c5f8cddbd0a0ef5393459e/dblp},
booktitle = {ICCPS},
crossref = {conf/iccps/2024},
ee = {https://doi.org/10.1109/ICCPS61052.2024.00016},
interhash = {6768ff83d0584ddcdc103af3b709c6fa},
intrahash = {60085dedd4c5f8cddbd0a0ef5393459e},
isbn = {979-8-3503-6927-4},
keywords = {dblp},
pages = {99-110},
publisher = {IEEE},
timestamp = {2024-07-22T07:20:04.000+0200},
title = {Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations.},
url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2024.html#HobbsXGFDC24},
year = 2024
}