%0 Conference Paper %1 conf/memocode/YuIS23a %A Yu, Sheng-Jung %A Incer, Inigo %A Sangiovanni-Vincentelli, Alberto L. %B MEMOCODE %D 2023 %E von Hanxleden, Reinhard %E Edwards, Stephen A. %E Brandt, Jens %E Zhu, Qi %I ACM / IEEE %K dblp %P 180-190 %T Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#YuIS23a %@ 979-8-4007-0318-8

@inproceedings{conf/memocode/YuIS23a, added-at = {2023-12-02T00:00:00.000+0100}, author = {Yu, Sheng-Jung and Incer, Inigo and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/29a42b0bf70246dc786571040ef2b8d62/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2023}, editor = {von Hanxleden, Reinhard and Edwards, Stephen A. and Brandt, Jens and Zhu, Qi}, ee = {https://ieeexplore.ieee.org/document/10316201}, interhash = {8abc097777e003e70ee27b0a88ae77cb}, intrahash = {9a42b0bf70246dc786571040ef2b8d62}, isbn = {979-8-4007-0318-8}, keywords = {dblp}, pages = {180-190}, publisher = {ACM / IEEE}, timestamp = {2024-04-09T10:15:52.000+0200}, title = {Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2023.html#YuIS23a}, year = 2023 }