发布求助
文献互助 智能选刊 最新文献

Formal Specification and Development in B最新文献

筛选
英文 中文
The Design of Spacecraft On-Board Software 航天器机载软件设计
Formal Specification and Development in B Pub Date : 2007-01-17 DOI: 10.1007/11955757_3
D. Chemouil
{"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}
引用次数: 1
MÉTÉOR : An Industrial Success in Formal Development MÉTÉOR:正式发展的工业成功
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053352
P. Behm, Pierre Desforges, Jean-Marc Meynadier
{"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}
引用次数: 63
Introducing Dynamic Constraints in B B .引入动态约束
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053357
J. Abrial, Louis Mussat
{"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}
引用次数: 232
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE 航空电子系统开发中形式化方法的成本效益，网址:AÉROSPATIALE
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053353
F. Pilarski
{"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}
引用次数: 7
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic 使用B方法和线性时序逻辑的集成电路卡协议应用规范
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053367
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}
引用次数: 9
Formalisation of B in Isabelle/HOL Isabelle/HOL中B的形式化
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053356
P. Chartier
{"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}
引用次数: 29
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method 过程控制工程:用B方法对形式化结构框架的贡献
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053362
J. Pétin, G. Morel, D. Méry, P. Lamboley
{"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}
引用次数: 7
Retrenchment: An Engineering Variation on Refinement 精简:精细化的工程变体
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053358
R. Banach, M. Poppleton
{"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}
引用次数: 40
Well Defined B 定义良好的B
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053354
P. Behm, L. Burdy, Jean-Marc Meynadier
{"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}
引用次数: 19
Graphical Design of Reactive Systems 反应性系统的图形设计
Formal Specification and Development in B Pub Date : 1998-04-22 DOI: 10.1007/BFb0053361
E. Sekerinski
{"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}
引用次数: 56
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信