Pub Date : 2016-05-23DOI: 10.1007/978-3-319-33600-8_30
Paolo Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
{"title":"How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study","authors":"Paolo Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene","doi":"10.1007/978-3-319-33600-8_30","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_30","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116987941","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_10
Dominik Hansen, David Schneider, M. Leuschel
{"title":"Using B and ProB for Data Validation Projects","authors":"Dominik Hansen, David Schneider, M. Leuschel","doi":"10.1007/978-3-319-33600-8_10","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_10","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117215671","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_19
Yibo Liang, Yuhui Lin, G. Grov
{"title":"'The Tinker' for Rodin","authors":"Yibo Liang, Yuhui Lin, G. Grov","doi":"10.1007/978-3-319-33600-8_19","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_19","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122037947","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_26
David Mentré
{"title":"SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML","authors":"David Mentré","doi":"10.1007/978-3-319-33600-8_26","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_26","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130277167","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_4
S. Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz
{"title":"Proving Determinacy of the PharOS Real-Time Operating System","authors":"S. Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz","doi":"10.1007/978-3-319-33600-8_4","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_4","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114206603","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_16
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
{"title":"Towards an ASM thesis for reflective sequential algorithms","authors":"Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres","doi":"10.1007/978-3-319-33600-8_16","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_16","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"13 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113978012","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_18
J. Baugh, Alper Altuntas
{"title":"Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy","authors":"J. Baugh, Alper Altuntas","doi":"10.1007/978-3-319-33600-8_18","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_18","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130376327","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_33
Thomas Fayolle, M. Frappier, F. Gervais, Régine Laleau
{"title":"Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods","authors":"Thomas Fayolle, M. Frappier, F. Gervais, Régine Laleau","doi":"10.1007/978-3-319-33600-8_33","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_33","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128965693","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 : 2016-05-23DOI: 10.1007/978-3-319-33600-8_11
Joy Clark, Jens Bendisposto, S. Hallerstede, Dominik Hansen, M. Leuschel
{"title":"Generating Event-B Specifications from Algorithm Descriptions","authors":"Joy Clark, Jens Bendisposto, S. Hallerstede, Dominik Hansen, M. Leuschel","doi":"10.1007/978-3-319-33600-8_11","DOIUrl":"https://doi.org/10.1007/978-3-319-33600-8_11","url":null,"abstract":"","PeriodicalId":347199,"journal":{"name":"International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129010555","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
扫码关注我们
求助内容：
应助结果提醒方式：