Pub Date : 2019-04-21DOI: 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}
Pub Date : 2019-04-21DOI: 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}
Pub Date : 2019-04-21DOI: 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}
Pub Date : 2019-04-21DOI: 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}
Pub Date : 2018-04-07DOI: 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}
Pub Date : 2018-04-07DOI: 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}
Pub Date : 2018-04-07DOI: 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}
Pub Date : 2017-04-17DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：