%0 Conference Paper %1 conf/memocode/LiNSXL17 %A Li, Jiwei %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %A Xi, Yugeng %A Li, Dewei %B MEMOCODE %D 2017 %E Talpin, Jean-Pierre %E Derler, Patricia %E Schneider, Klaus %I ACM %K dblp %P 5-14 %T Stochastic contracts for cyber-physical system design under probabilistic requirements. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2017.html#LiNSXL17 %@ 978-1-4503-5093-8

@inproceedings{conf/memocode/LiNSXL17, added-at = {2024-02-12T00:00:00.000+0100}, author = {Li, Jiwei and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Xi, Yugeng and Li, Dewei}, biburl = {https://www.bibsonomy.org/bibtex/2fa092825e1da8e60afc9661fca6710ca/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2017}, editor = {Talpin, Jean-Pierre and Derler, Patricia and Schneider, Klaus}, ee = {https://doi.org/10.1145/3127041.3127045}, interhash = {b173838fec05652f6b612dec5201a14c}, intrahash = {fa092825e1da8e60afc9661fca6710ca}, isbn = {978-1-4503-5093-8}, keywords = {dblp}, pages = {5-14}, publisher = {ACM}, timestamp = {2024-04-10T18:28:22.000+0200}, title = {Stochastic contracts for cyber-physical system design under probabilistic requirements.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2017.html#LiNSXL17}, year = 2017 }