Pub Date : 2016-03-28DOI: 10.1007/978-3-319-56841-6_2
J. Woodcock, S. Foster
{"title":"UTP by Example: Designs","authors":"J. Woodcock, S. Foster","doi":"10.1007/978-3-319-56841-6_2","DOIUrl":"https://doi.org/10.1007/978-3-319-56841-6_2","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126901415","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_4
Zhiming Liu, Xiaohong Chen
{"title":"Model-Driven Design of Object and Component Systems","authors":"Zhiming Liu, Xiaohong Chen","doi":"10.1007/978-3-319-29628-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_4","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"35 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":"116648498","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_6
Mengfei Yang, N. Zhan
{"title":"Combining Formal and Informal Methods in the Design of Spacecrafts","authors":"Mengfei Yang, N. Zhan","doi":"10.1007/978-3-319-29628-9_6","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_6","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"5 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":"131550733","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_1
Carroll Morgan
{"title":"(In-)Formal Methods: The Lost Art - A Users' Manual","authors":"Carroll Morgan","doi":"10.1007/978-3-319-29628-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_1","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"23 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":"132118682","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_3
Jonathan P. Bowen
{"title":"The Z Notation: Whence the Cause and Whither the Course?","authors":"Jonathan P. Bowen","doi":"10.1007/978-3-319-29628-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_3","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"12 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":"134646964","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 : 1900-01-01DOI: 10.1007/978-3-030-17601-3_4
N. Bjørner, L. D. Moura, Lev Nachmanson, C. Wintersteiger
{"title":"Programming Z3","authors":"N. Bjørner, L. D. Moura, Lev Nachmanson, C. Wintersteiger","doi":"10.1007/978-3-030-17601-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-17601-3_4","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"166 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":"114437568","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_5
H. Schlingloff
{"title":"Cyber-Physical Systems Engineering","authors":"H. Schlingloff","doi":"10.1007/978-3-319-29628-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_5","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"24 17","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120969660","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 : 1900-01-01DOI: 10.1007/978-3-319-29628-9_2
Annabelle McIver
{"title":"Program Refinement, Perfect Secrecy and Information Flow","authors":"Annabelle McIver","doi":"10.1007/978-3-319-29628-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-29628-9_2","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"25 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":"130630517","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 : 1900-01-01DOI: 10.1007/978-3-319-56841-6
{"title":"Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures","authors":"","doi":"10.1007/978-3-319-56841-6","DOIUrl":"https://doi.org/10.1007/978-3-319-56841-6","url":null,"abstract":"","PeriodicalId":142912,"journal":{"name":"International School on Engineering Trustworthy Software Systems","volume":"41 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":"127128303","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
扫码关注我们
求助内容：
应助结果提醒方式：