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

International Workshop on Formal Techniques for Safety-Critical Systems最新文献

筛选
英文 中文
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude 实时Maude中定时Rebeca的形式语义与分析
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_12
Zeynab Sabahi-Kaviani, R. Khosravi, M. Sirjani, P. C. Ölveczky, E. Khamespanah
{"title":"Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude","authors":"Zeynab Sabahi-Kaviani, R. Khosravi, M. Sirjani, P. C. Ölveczky, E. Khamespanah","doi":"10.1007/978-3-319-05416-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_12","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"284 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132941320","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}
引用次数: 11
Model-Based Testing from Controlled Natural Language Requirements 基于模型的受控自然语言需求测试
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_3
Gustavo Carvalho, F. Barros, Florian Lapschies, U. Schulze, J. Peleska
{"title":"Model-Based Testing from Controlled Natural Language Requirements","authors":"Gustavo Carvalho, F. Barros, Florian Lapschies, U. Schulze, J. Peleska","doi":"10.1007/978-3-319-05416-2_3","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_3","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"17 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120853366","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}
引用次数: 31
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings 铁路信号联锁的云化精细化检测研究
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_13
A. Simpson, Jaco Jacobs
{"title":"On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings","authors":"A. Simpson, Jaco Jacobs","doi":"10.1007/978-3-319-05416-2_13","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_13","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123297610","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}
引用次数: 0
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification 风力涡轮机系统:形式化建模与验证的工业案例研究
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_15
Jagadish Suryadevara, Gaetana Sapienza, C. Seceleanu, T. Seceleanu, Stein Erik Ellevseth, P. Pettersson
{"title":"Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification","authors":"Jagadish Suryadevara, Gaetana Sapienza, C. Seceleanu, T. Seceleanu, Stein Erik Ellevseth, P. Pettersson","doi":"10.1007/978-3-319-05416-2_15","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_15","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131373468","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
Precise Documentation and Validation of Requirements 需求的精确文档化和验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_17
Chen-Wei Wang, J. Ostroff, Simon Hudon
{"title":"Precise Documentation and Validation of Requirements","authors":"Chen-Wei Wang, J. Ostroff, Simon Hudon","doi":"10.1007/978-3-319-05416-2_17","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_17","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123445260","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}
引用次数: 2
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events 具有始终启用事件和仅限自旋事件的组合非阻塞验证
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_11
Colin Pilbrow, R. Malik
{"title":"Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events","authors":"Colin Pilbrow, R. Malik","doi":"10.1007/978-3-319-05416-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_11","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116296163","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}
引用次数: 2
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking 基于概率模型检验的航天应用软误差效应早期分析
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_5
K. A. Hoque, O. Mohamed, Y. Savaria, C. Thibeault
{"title":"Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking","authors":"K. A. Hoque, O. Mohamed, Y. Savaria, C. Thibeault","doi":"10.1007/978-3-319-05416-2_5","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_5","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131237597","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}
引用次数: 17
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling 精化树及其模式:事件b建模的图形化方法
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_16
Kriangkrai Traichaiyaporn, Toshiaki Aoki
{"title":"Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling","authors":"Kriangkrai Traichaiyaporn, Toshiaki Aoki","doi":"10.1007/978-3-319-05416-2_16","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_16","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128782992","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}
引用次数: 5
Reflections on Verifying Software with Whiley 关于用while验证软件的思考
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-10-29 DOI: 10.1007/978-3-319-05416-2_10
David J. Pearce, L. Groves
{"title":"Reflections on Verifying Software with Whiley","authors":"David J. Pearce, L. Groves","doi":"10.1007/978-3-319-05416-2_10","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_10","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121021689","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}
引用次数: 5
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems 固定优先级实时分布式系统的参数可调度性分析
International Workshop on Formal Techniques for Safety-Critical Systems Pub Date : 2013-02-06 DOI: 10.1007/978-3-319-05416-2_14
Youcheng Sun, R. Soulat, G. Lipari, É. André, L. Fribourg
{"title":"Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems","authors":"Youcheng Sun, R. Soulat, G. Lipari, É. André, L. Fribourg","doi":"10.1007/978-3-319-05416-2_14","DOIUrl":"https://doi.org/10.1007/978-3-319-05416-2_14","url":null,"abstract":"","PeriodicalId":206212,"journal":{"name":"International Workshop on Formal Techniques for Safety-Critical Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132865581","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}
引用次数: 22
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信