{"title":"BE4: The B Extensible Eclipse Editing Environment","authors":"Jens Bendisposto, M. Leuschel","doi":"10.1007/11955757_27","DOIUrl":"https://doi.org/10.1007/11955757_27","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126953915","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}
{"title":"Using B Machines for Model-Based Testing of Smartcard Software","authors":"Eddie Jaffuel","doi":"10.1007/11955757_2","DOIUrl":"https://doi.org/10.1007/11955757_2","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122203901","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}
{"title":"Augmenting B with Control Annotations","authors":"Wilson Ifill, Steve A. Schneider, H. Treharne","doi":"10.1007/11955757_6","DOIUrl":"https://doi.org/10.1007/11955757_6","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132861227","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}
{"title":"BRAMA: A New Graphic Animation Tool for B Models","authors":"Thierry Servat","doi":"10.1007/11955757_28","DOIUrl":"https://doi.org/10.1007/11955757_28","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116890397","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}
{"title":"Automatic Translation from Combined B and CSP Specification to Java Programs","authors":"Letu Yang, M. Poppleton","doi":"10.1007/11955757_8","DOIUrl":"https://doi.org/10.1007/11955757_8","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115097136","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}
{"title":"A Generic Flash-Based Animation Engine for ProB","authors":"Jens Bendisposto, M. Leuschel","doi":"10.1007/11955757_26","DOIUrl":"https://doi.org/10.1007/11955757_26","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114262340","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}
{"title":"B in Large-Scale Projects: The Canarsie Line CBTC Experience","authors":"D. Essamé, Daniela Dolle","doi":"10.1007/11955757_21","DOIUrl":"https://doi.org/10.1007/11955757_21","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"84 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131052363","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}
M. Leuschel, M. Butler, Corinna Spermann, E. Turner
{"title":"Symmetry Reduction for B by Permutation Flooding","authors":"M. Leuschel, M. Butler, Corinna Spermann, E. Turner","doi":"10.1007/11955757_9","DOIUrl":"https://doi.org/10.1007/11955757_9","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125642051","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}
{"title":"Chorus Angelorum","authors":"S. Dunne","doi":"10.1007/11955757_5","DOIUrl":"https://doi.org/10.1007/11955757_5","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130568681","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}
{"title":"Refinement of Statemachines Using Event B Semantics","authors":"C. Snook, M. Waldén","doi":"10.1007/11955757_15","DOIUrl":"https://doi.org/10.1007/11955757_15","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127943748","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
扫码关注我们
求助内容：
应助结果提醒方式：