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

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

筛选
英文 中文
Modular Safety Assurance 模块化安全保证
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_10
A. Boyer, B. Tenbergen, Santiago Velasco, P. Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer
{"title":"Modular Safety Assurance","authors":"A. Boyer, B. Tenbergen, Santiago Velasco, P. Antonino, Peter Battram, Suryo Buono, Bernhard Kaiser, Justyna Zander, Kai Bizik, Alexander Prohaska, Michael Käßmeyer","doi":"10.1007/978-3-319-48003-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_10","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"55 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":"121965881","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}
引用次数: 1
Verification of Systems in Physical Contexts 物理环境下系统的验证
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_7
Jens Oehlerking, Thomas Strathmann
{"title":"Verification of Systems in Physical Contexts","authors":"Jens Oehlerking, Thomas Strathmann","doi":"10.1007/978-3-319-48003-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_7","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"21 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":"132970470","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
System Function Networks 系统功能
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_8
K. Albers, S. Beck, Matthias Büker, Marian Daun, J. MacGregor, Andrea Salmon, Raphael Weber, Thorsten Weyer
{"title":"System Function Networks","authors":"K. Albers, S. Beck, Matthias Büker, Marian Daun, J. MacGregor, Andrea Salmon, Raphael Weber, Thorsten Weyer","doi":"10.1007/978-3-319-48003-9_8","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_8","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"1 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":"129824815","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}
引用次数: 4
Running Examples 运行示例
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_2
F. Houdek, U. Löwen, J. C. Wehrstedt
{"title":"Running Examples","authors":"F. Houdek, U. Löwen, J. C. Wehrstedt","doi":"10.1007/978-3-319-48003-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_2","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"24 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":"127773892","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
The SPES XT Tool Platform spesxt工具平台
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_14
K. Albers, Ö. Gürsoy, Stefan Henkler, M. Schulze, B. Tenbergen, A. Terfloth, Raphael Weber
{"title":"The SPES XT Tool Platform","authors":"K. Albers, Ö. Gürsoy, Stefan Henkler, M. Schulze, B. Tenbergen, A. Terfloth, Raphael Weber","doi":"10.1007/978-3-319-48003-9_14","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_14","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"38 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":"122739358","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
Early Validation of Engineering Artifacts 工程工件的早期验证
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_6
K. Albers, Peter Battram, Alfred Bognar, V. Brandstetter, Andreas Froese, B. Tenbergen, Andreas Vogelsang, J. Wegener
{"title":"Early Validation of Engineering Artifacts","authors":"K. Albers, Peter Battram, Alfred Bognar, V. Brandstetter, Andreas Froese, B. Tenbergen, Andreas Vogelsang, J. Wegener","doi":"10.1007/978-3-319-48003-9_6","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_6","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"7 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":"127842342","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
SPES XT Systems Engineering Extensions spesxt系统工程扩展
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_5
Wolfgang Böhm, Stefan Henkler, F. Houdek, Andreas Vogelsang, Thorsten Weyer
{"title":"SPES XT Systems Engineering Extensions","authors":"Wolfgang Böhm, Stefan Henkler, F. Houdek, Andreas Vogelsang, Thorsten Weyer","doi":"10.1007/978-3-319-48003-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_5","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"44 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":"121382613","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
Optimal Deployment 最优部署
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_9
K. Albers, Matthias Büker, L. Dieudonné, Robert Hilbrich, G. Igna, Stefan Kugele, T. Kuhn, Maike Rosinger, Raphael Weber
{"title":"Optimal Deployment","authors":"K. Albers, Matthias Büker, L. Dieudonné, Robert Hilbrich, G. Igna, Stefan Kugele, T. Kuhn, Maike Rosinger, Raphael Weber","doi":"10.1007/978-3-319-48003-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_9","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"116 1-4 Pt 2 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":"126014066","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}
引用次数: 13
Variant Management and Reuse 变体管理和重用
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_11
Ina Schaefer, André Heuer, Michael Himsolt, T. Jäger, T. Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, H. Schlingloff, S. Schröck, Christoph Schulze, M. Schulze, Stephan Weißleder
{"title":"Variant Management and Reuse","authors":"Ina Schaefer, André Heuer, Michael Himsolt, T. Jäger, T. Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, H. Schlingloff, S. Schröck, Christoph Schulze, M. Schulze, Stephan Weißleder","doi":"10.1007/978-3-319-48003-9_11","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_11","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"10 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":"126494312","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}
引用次数: 1
Evaluation of the SPES XT Modeling Framework spesxt建模框架的评价
Advanced Model-Based Engineering of Embedded Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-319-48003-9_15
Philipp Diebold, Marian Daun, André Heuer, Andreas Jedlitschka
{"title":"Evaluation of the SPES XT Modeling Framework","authors":"Philipp Diebold, Marian Daun, André Heuer, Andreas Jedlitschka","doi":"10.1007/978-3-319-48003-9_15","DOIUrl":"https://doi.org/10.1007/978-3-319-48003-9_15","url":null,"abstract":"","PeriodicalId":339047,"journal":{"name":"Advanced Model-Based Engineering of Embedded Systems","volume":"10 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":"122710417","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
下一页 尾页
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学术官方微信
小红书