{"_id":"WiMp6NbYjwE9CC3FL","bibbaseid":"nuzzo-sangiovannivincentelli-bresolin-geretti-villa-aplatformbaseddesignmethodologywithcontractsandrelatedtoolsforthedesignofcyberphysicalsystems-2015","downloads":0,"creationDate":"2019-04-03T11:57:07.288Z","title":"A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems","author_short":["Nuzzo, P.","Sangiovanni-Vincentelli, A.","Bresolin, D.","Geretti, L.","Villa, T."],"year":2015,"bibtype":"article","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","bibdata":{"bibtype":"article","type":"article","art_number":"7268792","author":[{"propositions":[],"lastnames":["Nuzzo"],"firstnames":["P."],"suffixes":[]},{"propositions":[],"lastnames":["Sangiovanni-Vincentelli"],"firstnames":["A.L."],"suffixes":[]},{"propositions":[],"lastnames":["Bresolin"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Geretti"],"firstnames":["L."],"suffixes":[]},{"propositions":[],"lastnames":["Villa"],"firstnames":["T."],"suffixes":[]}],"date-added":"2015-12-03 13:35:40 +0000","date-modified":"2015-12-03 13:36:16 +0000","document_type":"Article","fpage":"2104","journal":"Proceedings of the IEEE","lpage":"2132","number":"11","numpages":"28","pages":"2104–2132","publisher":"IEEE","source":"Scopus","title":"A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems","url":"http://www.scopus.com/inward/record.url?eid=2-s2.0-84946499411&partnerID=40&md5=f520f7ffa70c24c653c565c299ada445","volume":"103","year":"2015","bdsk-url-1":"http://www.scopus.com/inward/record.url?eid=2-s2.0-84946499411&partnerID=40&md5=f520f7ffa70c24c653c565c299ada445","bdsk-url-2":"http://dx.doi.org/10.1109/JPROC.2015.2453253","bibtex":"@article{IEEEProc2015,\n\tArt_Number = {7268792},\n\tAuthor = {Nuzzo, P. and Sangiovanni-Vincentelli, A.L. and Bresolin, D. and Geretti, L. and Villa, T.},\n\tDate-Added = {2015-12-03 13:35:40 +0000},\n\tDate-Modified = {2015-12-03 13:36:16 +0000},\n\tDocument_Type = {Article},\n\tFpage = 2104,\n\tJournal = {Proceedings of the IEEE},\n\tLpage = 2132,\n\tNumber = {11},\n\tNumpages = 28,\n\tPages = {2104--2132},\n\tPublisher = {IEEE},\n\tSource = {Scopus},\n\tTitle = {A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems},\n\tUrl = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84946499411&partnerID=40&md5=f520f7ffa70c24c653c565c299ada445},\n\tVolume = {103},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84946499411&partnerID=40&md5=f520f7ffa70c24c653c565c299ada445},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1109/JPROC.2015.2453253}}\n\n","author_short":["Nuzzo, P.","Sangiovanni-Vincentelli, A.","Bresolin, D.","Geretti, L.","Villa, T."],"key":"IEEEProc2015","id":"IEEEProc2015","bibbaseid":"nuzzo-sangiovannivincentelli-bresolin-geretti-villa-aplatformbaseddesignmethodologywithcontractsandrelatedtoolsforthedesignofcyberphysicalsystems-2015","role":"author","urls":{"Paper":"http://www.scopus.com/inward/record.url?eid=2-s2.0-84946499411&partnerID=40&md5=f520f7ffa70c24c653c565c299ada445"},"metadata":{"authorlinks":{"bresolin, d":"https://www.math.unipd.it/"}},"html":""},"search_terms":["platform","based","design","methodology","contracts","related","tools","design","cyber","physical","systems","nuzzo","sangiovanni-vincentelli","bresolin","geretti","villa"],"keywords":[],"authorIDs":["4tYyFYvZCLtQy6uf7","5ca49f93d90d1c1000000174","5df2a4430f18f1df0100000e","MbhdLBCfLGr9jXZu2","paSrteDWCHKHXJY6J"],"dataSources":["YCBcQPneB9oxahSnp","S2GkQK7zrj9q2HwGy"]}