发布求助
文献互助 智能选刊 最新文献

Model-Based Engineering of Collaborative Embedded Systems最新文献

筛选
英文 中文
Compositional Verification using Model Checking and Theorem Proving 基于模型检验和定理证明的组合验证
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_16
Diego Marmsoler
{"title":"Compositional Verification using Model Checking and Theorem Proving","authors":"Diego Marmsoler","doi":"10.1007/978-3-030-62136-0_16","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_16","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"2010 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127343857","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}
引用次数: 0
Goal-Based Strategy Exploration 基于目标的策略探索
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_9
Patricia Aluko Obe, Jennifer Brings, Marian Daun, L. Feeken, E. Mirzaei, Martin Neumann, J. Nickles, S. Rösel, M. Sauer, H. Schlingloff, Ingo Stierand, Jan-Stefan Zernickel
{"title":"Goal-Based Strategy Exploration","authors":"Patricia Aluko Obe, Jennifer Brings, Marian Daun, L. Feeken, E. Mirzaei, Martin Neumann, J. Nickles, S. Rösel, M. Sauer, H. Schlingloff, Ingo Stierand, Jan-Stefan Zernickel","doi":"10.1007/978-3-030-62136-0_9","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_9","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114743205","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}
引用次数: 0
Supporting the Creation of Digital Twins for CESs 支持创建CESs数字孪生
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_14
Emilia Cioroaica, T. Kuhn, D. Dimitrov
{"title":"Supporting the Creation of Digital Twins for CESs","authors":"Emilia Cioroaica, T. Kuhn, D. Dimitrov","doi":"10.1007/978-3-030-62136-0_14","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_14","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"146 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123333885","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}
引用次数: 0
Modeling and Analyzing Context-Sensitive Changes during Runtime 在运行期间建模和分析上下文敏感的更改
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_6
J. C. Wehrstedt, Jennifer Brings, Birte Caesar, Marian Daun, L. Feeken, C. Hildebrandt, W. Klein, Vincent Malik, Boris Wirtz, Stefanie Wolf
{"title":"Modeling and Analyzing Context-Sensitive Changes during Runtime","authors":"J. C. Wehrstedt, Jennifer Brings, Birte Caesar, Marian Daun, L. Feeken, C. Hildebrandt, W. Klein, Vincent Malik, Boris Wirtz, Stefanie Wolf","doi":"10.1007/978-3-030-62136-0_6","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_6","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"461 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123375575","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}
引用次数: 2
Tool Support for Co-Simulation-Based Analysis 基于联合仿真分析的工具支持
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_13
K. Albers, Benjamin Bolte, Max-Arno Meyer, A. Terfloth, Anna Wissdorf
{"title":"Tool Support for Co-Simulation-Based Analysis","authors":"K. Albers, Benjamin Bolte, Max-Arno Meyer, A. Terfloth, Anna Wissdorf","doi":"10.1007/978-3-030-62136-0_13","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_13","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124640696","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}
引用次数: 2
Variant and Product Line Co-Evolution 变体和产品线协同进化
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_18
J. C. Kirchhof, M. Nieke, Ina Schaefer, David Schmalzing, M. Schulze
{"title":"Variant and Product Line Co-Evolution","authors":"J. C. Kirchhof, M. Nieke, Ina Schaefer, David Schmalzing, M. Schulze","doi":"10.1007/978-3-030-62136-0_18","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_18","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123843965","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}
引用次数: 2
CrESt Use Cases CrESt用例
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_1
H. Schlingloff
{"title":"CrESt Use Cases","authors":"H. Schlingloff","doi":"10.1007/978-3-030-62136-0_1","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_1","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130067368","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}
引用次数: 2
Online Experiment-Driven Learning and Adaptation 在线实验驱动学习与适应
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 2020-12-15 DOI: 10.1007/978-3-030-62136-0_15
I. Gerostathopoulos, Alexander auf der Straße
{"title":"Online Experiment-Driven Learning and Adaptation","authors":"I. Gerostathopoulos, Alexander auf der Straße","doi":"10.1007/978-3-030-62136-0_15","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_15","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134191290","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}
引用次数: 0
Handling Uncertainty in Collaborative Embedded Systems Engineering 协同嵌入式系统工程中的不确定性处理
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62136-0_7
Torsten Bandyszak, Lisa Jöckel, Michael Kläs, Sebastian Törsleff, Thorsten Weyer, Boris Wirtz
{"title":"Handling Uncertainty in Collaborative Embedded Systems Engineering","authors":"Torsten Bandyszak, Lisa Jöckel, Michael Kläs, Sebastian Törsleff, Thorsten Weyer, Boris Wirtz","doi":"10.1007/978-3-030-62136-0_7","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0_7","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"192 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":"122581366","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}
引用次数: 5
Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology 基于模型的协同嵌入式系统工程:spe方法的扩展
Model-Based Engineering of Collaborative Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-62136-0
Wolfgang Böhm, M. Broy, Cornel Klein, K. Pohl, Bernhard Rumpe, S. Schröck
{"title":"Model-Based Engineering of Collaborative Embedded Systems: Extensions of the SPES Methodology","authors":"Wolfgang Böhm, M. Broy, Cornel Klein, K. Pohl, Bernhard Rumpe, S. Schröck","doi":"10.1007/978-3-030-62136-0","DOIUrl":"https://doi.org/10.1007/978-3-030-62136-0","url":null,"abstract":"","PeriodicalId":217110,"journal":{"name":"Model-Based Engineering of Collaborative Embedded Systems","volume":"14 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":"128242919","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}
引用次数: 16
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信