%0 Conference Paper %1 conf/date/NuzzoFIS14 %A Nuzzo, Pierluigi %A Finn, John B. %A Iannopollo, Antonio %A Sangiovanni-Vincentelli, Alberto L. %B DATE %D 2014 %E Fettweis, Gerhard P. %E Nebel, Wolfgang %I European Design and Automation Association %K %P 1-4 %T Contract-based design of control protocols for safety-critical cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/date/date2014.html#NuzzoFIS14 %@ 978-3-9815370-2-4

@inproceedings{conf/date/NuzzoFIS14, added-at = {2023-12-13T05:01:37.000+0100}, author = {Nuzzo, Pierluigi and Finn, John B. and Iannopollo, Antonio and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/2aaaee1ab72ddebce56aed27129737c11/admin}, booktitle = {DATE}, crossref = {conf/date/2014}, editor = {Fettweis, Gerhard P. and Nebel, Wolfgang}, ee = {http://dl.acm.org/citation.cfm?id=2616678}, interhash = {9d7de1620917d366bb4ba1e35bda0fb7}, intrahash = {aaaee1ab72ddebce56aed27129737c11}, isbn = {978-3-9815370-2-4}, keywords = {}, pages = {1-4}, publisher = {European Design and Automation Association}, timestamp = {2023-12-13T05:01:37.000+0100}, title = {Contract-based design of control protocols for safety-critical cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#NuzzoFIS14}, year = 2014 }