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

International School on Engineering Trustworthy Software Systems最新文献

筛选
英文 中文
Seamless Model-Based System Development: Foundations - (Extended Abstract) 基于模型的无缝系统开发:基础-(扩展摘要)
International School on Engineering Trustworthy Software Systems Pub Date : 2019-04-21 DOI: 10.1007/978-3-030-55089-9_1
M. Broy
{"title":"Seamless Model-Based System Development: Foundations - (Extended Abstract)","authors":"M. Broy","doi":"10.1007/978-3-030-55089-9_1","DOIUrl":"https://doi.org/10.1007/978-3-030-55089-9_1","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124919337","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
Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence 贝叶斯推理的最弱预期望语义——条件、连续分布和散度
International School on Engineering Trustworthy Software Systems Pub Date : 2019-04-21 DOI: 10.1007/978-3-030-55089-9_3
M. Szymczak, J. Katoen
{"title":"Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence","authors":"M. Szymczak, J. Katoen","doi":"10.1007/978-3-030-55089-9_3","DOIUrl":"https://doi.org/10.1007/978-3-030-55089-9_3","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128524898","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
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT 从线性混合自动机的有限可达性分析到工业CPS和物联网的验证
International School on Engineering Trustworthy Software Systems Pub Date : 2019-04-21 DOI: 10.1007/978-3-030-55089-9_2
Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li
{"title":"From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT","authors":"Lei Bu, Jiawan Wang, Yuming Wu, Xuandong Li","doi":"10.1007/978-3-030-55089-9_2","DOIUrl":"https://doi.org/10.1007/978-3-030-55089-9_2","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"377 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124710650","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
$mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis $mathbb {K}$ -一个面向编程语言和形式分析的语义框架
International School on Engineering Trustworthy Software Systems Pub Date : 2019-04-21 DOI: 10.1007/978-3-030-55089-9_4
Xiaohong Chen, Grigore Roşu
{"title":"$mathbb {K}$ - A Semantic Framework for Programming Languages and Formal Analysis","authors":"Xiaohong Chen, Grigore Roşu","doi":"10.1007/978-3-030-55089-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-55089-9_4","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132534026","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}
引用次数: 3
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling 软件抽象与人-网络-物理系统架构建模
International School on Engineering Trustworthy Software Systems Pub Date : 2019-04-21 DOI: 10.1007/978-3-030-55089-9_5
Zhiming Liu, Jonathan P. Bowen, Bo Liu, S. Tyszberowicz, Ting-ting Zhang
{"title":"Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling","authors":"Zhiming Liu, Jonathan P. Bowen, Bo Liu, S. Tyszberowicz, Ting-ting Zhang","doi":"10.1007/978-3-030-55089-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-55089-9_5","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127296342","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
Securing Emergent IoT Applications 保护紧急物联网应用
International School on Engineering Trustworthy Software Systems Pub Date : 2018-04-07 DOI: 10.1007/978-3-030-17601-3_3
Prabhakaran Kasinathan, Jorge Cuéllar
{"title":"Securing Emergent IoT Applications","authors":"Prabhakaran Kasinathan, Jorge Cuéllar","doi":"10.1007/978-3-030-17601-3_3","DOIUrl":"https://doi.org/10.1007/978-3-030-17601-3_3","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133493482","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}
引用次数: 7
Learning Büchi Automata and Its Applications 学习<s:1> chi自动机及其应用
International School on Engineering Trustworthy Software Systems Pub Date : 2018-04-07 DOI: 10.1007/978-3-030-17601-3_2
Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
{"title":"Learning Büchi Automata and Its Applications","authors":"Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang","doi":"10.1007/978-3-030-17601-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-17601-3_2","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128935951","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}
引用次数: 3
The Impact of Alan Turing: Formal Methods and Beyond 《图灵的影响:形式化方法及其他
International School on Engineering Trustworthy Software Systems Pub Date : 2018-04-07 DOI: 10.1007/978-3-030-17601-3_5
Jonathan P. Bowen
{"title":"The Impact of Alan Turing: Formal Methods and Beyond","authors":"Jonathan P. Bowen","doi":"10.1007/978-3-030-17601-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-17601-3_5","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127499250","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
An Introduction to Software Verification with Whiley 使用Whiley进行软件验证的介绍
International School on Engineering Trustworthy Software Systems Pub Date : 2018-04-07 DOI: 10.1007/978-3-030-17601-3_1
David J. Pearce, M. Utting, L. Groves
{"title":"An Introduction to Software Verification with Whiley","authors":"David J. Pearce, M. Utting, L. Groves","doi":"10.1007/978-3-030-17601-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-17601-3_1","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122607409","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
A Guide to Rely/Guarantee Thinking 依赖/保证思维指南
International School on Engineering Trustworthy Software Systems Pub Date : 2017-04-17 DOI: 10.1007/978-3-030-02928-9_1
I. Hayes, Cliff B. Jones
{"title":"A Guide to Rely/Guarantee Thinking","authors":"I. Hayes, Cliff B. Jones","doi":"10.1007/978-3-030-02928-9_1","DOIUrl":"https://doi.org/10.1007/978-3-030-02928-9_1","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124293275","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}
引用次数: 12
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信