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

Principles of Systems Design最新文献

筛选
英文 中文
From Hybrid Automata to DAE-Based Modeling 从混合自动机到基于dae的建模
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_1
A. Benveniste, B. Caillaud, Mathias Malandain
{"title":"From Hybrid Automata to DAE-Based Modeling","authors":"A. Benveniste, B. Caillaud, Mathias Malandain","doi":"10.1007/978-3-031-22337-2_1","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_1","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"191 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":"132436415","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
An Architecture for Safe Driving Automation 一种安全驾驶自动化体系结构
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_4
H. Kopetz
{"title":"An Architecture for Safe Driving Automation","authors":"H. Kopetz","doi":"10.1007/978-3-031-22337-2_4","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_4","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","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":"129454404","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
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge 定量概率CTL的可满足性:迎接挑战
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_18
Miroslav Chodil, A. Kucera, Jan Křetínský
{"title":"Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge","authors":"Miroslav Chodil, A. Kucera, Jan Křetínský","doi":"10.1007/978-3-031-22337-2_18","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_18","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","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":"130937613","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
Consistency and Persistency in Program Verification: Challenges and Opportunities 程序验证的一致性和持久性:挑战和机遇
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_24
P. Abdulla, M. Atig, A. Bouajjani, B. Jonsson, K. Kumar, Prakash Saivasan
{"title":"Consistency and Persistency in Program Verification: Challenges and Opportunities","authors":"P. Abdulla, M. Atig, A. Bouajjani, B. Jonsson, K. Kumar, Prakash Saivasan","doi":"10.1007/978-3-031-22337-2_24","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_24","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"34 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":"131183140","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
From Interface Automata to Hypercontracts 从接口自动机到超契约
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_23
Inigo Incer, A. Benveniste, A. Sangiovanni-Vincentelli, S. Seshia
{"title":"From Interface Automata to Hypercontracts","authors":"Inigo Incer, A. Benveniste, A. Sangiovanni-Vincentelli, S. Seshia","doi":"10.1007/978-3-031-22337-2_23","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_23","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"60 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":"125946798","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
Generalizing Logical Execution Time 一般化逻辑执行时间
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_8
Edward A. Lee, Marten Lohstroh
{"title":"Generalizing Logical Execution Time","authors":"Edward A. Lee, Marten Lohstroh","doi":"10.1007/978-3-031-22337-2_8","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_8","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"87 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":"117168791","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
Software Model Checking: 20 Years and Beyond 软件模型检查:20年及以后
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2_27
Dirk Beyer, A. Podelski
{"title":"Software Model Checking: 20 Years and Beyond","authors":"Dirk Beyer, A. Podelski","doi":"10.1007/978-3-031-22337-2_27","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2_27","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"214 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":"116522681","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
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday 《系统设计原理:托马斯·亨辛格60岁生日献词
Principles of Systems Design Pub Date : 1900-01-01 DOI: 10.1007/978-3-031-22337-2
{"title":"Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday","authors":"","doi":"10.1007/978-3-031-22337-2","DOIUrl":"https://doi.org/10.1007/978-3-031-22337-2","url":null,"abstract":"","PeriodicalId":334753,"journal":{"name":"Principles of Systems Design","volume":"463 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":"122790894","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
首页 上一页
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学术官方微信