%0 Journal Article %1 journals/pieee/NuzzoSBGV15 %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %A Bresolin, Davide %A Geretti, Luca %A Villa, Tiziano %D 2015 %J Proc. IEEE %K %N 11 %P 2104-2132 %T A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/pieee/pieee103.html#NuzzoSBGV15 %V 103

@article{journals/pieee/NuzzoSBGV15, added-at = {2023-12-12T22:15:55.000+0100}, author = {Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Bresolin, Davide and Geretti, Luca and Villa, Tiziano}, biburl = {https://www.bibsonomy.org/bibtex/24e3eb3a6f64297e65780ad2b2c86ad00/admin}, ee = {https://www.wikidata.org/entity/Q57380140}, interhash = {489f4448498ffd7b7a1e0d94b4a0c402}, intrahash = {4e3eb3a6f64297e65780ad2b2c86ad00}, journal = {Proc. IEEE}, keywords = {}, number = 11, pages = {2104-2132}, timestamp = {2023-12-12T22:15:55.000+0100}, title = {A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee103.html#NuzzoSBGV15}, volume = 103, year = 2015 }