P. Larsen, Carl Gamble, K. Pierce, A. Ribeiro, Kenneth Lausdahl
{"title":"Support for Co-modelling and Co-simulation: The Crescendo Tool","authors":"P. Larsen, Carl Gamble, K. Pierce, A. Ribeiro, Kenneth Lausdahl","doi":"10.1007/978-3-642-54118-6_5","DOIUrl":"https://doi.org/10.1007/978-3-642-54118-6_5","url":null,"abstract":"","PeriodicalId":125074,"journal":{"name":"Collaborative Design for Embedded Systems","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131787240","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Discrete-Event Modelling in VDM","authors":"P. Larsen, J. Fitzgerald, M. Verhoef, K. Pierce","doi":"10.1007/978-3-642-54118-6_4","DOIUrl":"https://doi.org/10.1007/978-3-642-54118-6_4","url":null,"abstract":"","PeriodicalId":125074,"journal":{"name":"Collaborative Design for Embedded Systems","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123343018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Semantics of Co-simulation","authors":"Joey W. Coleman, Kenneth Lausdahl, P. Larsen","doi":"10.1007/978-3-642-54118-6_13","DOIUrl":"https://doi.org/10.1007/978-3-642-54118-6_13","url":null,"abstract":"","PeriodicalId":125074,"journal":{"name":"Collaborative Design for Embedded Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131499186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Co-modelling of Faults and Fault Tolerance Mechanisms","authors":"Carl Gamble, K. Pierce, J. Fitzgerald, Bert Bos","doi":"10.1007/978-3-642-54118-6_9","DOIUrl":"https://doi.org/10.1007/978-3-642-54118-6_9","url":null,"abstract":"","PeriodicalId":125074,"journal":{"name":"Collaborative Design for Embedded Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131896828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：