{"title":"The Design of Spacecraft On-Board Software","authors":"D. Chemouil","doi":"10.1007/11955757_3","DOIUrl":"https://doi.org/10.1007/11955757_3","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"134 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":"123209319","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":"MÉTÉOR : An Industrial Success in Formal Development","authors":"P. Behm, Pierre Desforges, Jean-Marc Meynadier","doi":"10.1007/BFb0053352","DOIUrl":"https://doi.org/10.1007/BFb0053352","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131921824","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":"Introducing Dynamic Constraints in B","authors":"J. Abrial, Louis Mussat","doi":"10.1007/BFb0053357","DOIUrl":"https://doi.org/10.1007/BFb0053357","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126245592","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":"Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE","authors":"F. Pilarski","doi":"10.1007/BFb0053353","DOIUrl":"https://doi.org/10.1007/BFb0053353","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114615842","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}
J. Julliand, B. Legeard, Thierry Machicoane, Benoît Parreaux, Bruno Tatibouët
{"title":"Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic","authors":"J. Julliand, B. Legeard, Thierry Machicoane, Benoît Parreaux, Bruno Tatibouët","doi":"10.1007/BFb0053367","DOIUrl":"https://doi.org/10.1007/BFb0053367","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127042658","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":"Formalisation of B in Isabelle/HOL","authors":"P. Chartier","doi":"10.1007/BFb0053356","DOIUrl":"https://doi.org/10.1007/BFb0053356","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115180938","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":"Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method","authors":"J. Pétin, G. Morel, D. Méry, P. Lamboley","doi":"10.1007/BFb0053362","DOIUrl":"https://doi.org/10.1007/BFb0053362","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115031218","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":"Retrenchment: An Engineering Variation on Refinement","authors":"R. Banach, M. Poppleton","doi":"10.1007/BFb0053358","DOIUrl":"https://doi.org/10.1007/BFb0053358","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128904175","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":"Well Defined B","authors":"P. Behm, L. Burdy, Jean-Marc Meynadier","doi":"10.1007/BFb0053354","DOIUrl":"https://doi.org/10.1007/BFb0053354","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134641421","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":"Graphical Design of Reactive Systems","authors":"E. Sekerinski","doi":"10.1007/BFb0053361","DOIUrl":"https://doi.org/10.1007/BFb0053361","url":null,"abstract":"","PeriodicalId":119181,"journal":{"name":"Formal Specification and Development in B","volume":"22 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124877630","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
扫码关注我们
求助内容：
应助结果提醒方式：