%0 Conference Paper %1 conf/dac/KirovNPS17 %A Kirov, Dmitrii %A Nuzzo, Pierluigi %A Passerone, Roberto %A Sangiovanni-Vincentelli, Alberto L. %B DAC %D 2017 %I ACM %K dblp %P 31:1-31:6 %T ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. %U http://dblp.uni-trier.de/db/conf/dac/dac2017.html#KirovNPS17 %@ 978-1-4503-4927-7

@inproceedings{conf/dac/KirovNPS17, added-at = {2023-05-15T00:00:00.000+0200}, author = {Kirov, Dmitrii and Nuzzo, Pierluigi and Passerone, Roberto and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/26c52377676e7571d948d20b6553028df/dblp}, booktitle = {DAC}, crossref = {conf/dac/2017}, ee = {https://www.wikidata.org/entity/Q57380096}, interhash = {9148dfd88bf95351c3b8c7477d0211cf}, intrahash = {6c52377676e7571d948d20b6553028df}, isbn = {978-1-4503-4927-7}, keywords = {dblp}, pages = {31:1-31:6}, publisher = {ACM}, timestamp = {2024-04-10T06:54:38.000+0200}, title = {ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2017.html#KirovNPS17}, year = 2017 }