先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Rigorous State-Based Methods
会议名
8th International Conference on Rigorous State-Based Methods (ABZ 2021)
中译名
《第八届国际严格的基于状态的方法会议》
会议日期
June 9-11, 2021
会议地点
Ulm, Germany
出版年
2021
馆藏号
339174
题名
作者
出版年
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams
Zilinghan Li; Shilan He; Yiqing Du; Senen Gonzalez; Klaus-Dieter Schewe
2021
Towards ASM-Based Automated Formal Verification of Security Protocols
Chiara Braghin; Mario Lilli; Elvinia Riccobene
2021
Verifying System-Level Security of a Smart Ballot Box
Dana Dghaym; Thai Son Hoang; Michael Butler; Runshan Hu; Leonardo Aniello; Vladimiro Sassone
2021
Proving the Safety of a Sliding Window Protocol with Event-B
Sophie Coudert
2021
Event-B Formalization of Event-B Contexts
Jean-Paul Bodeveix; Mamoun Filali
2021
Validation of Formal Models by Timed Probabilistic Simulation
Fabian Vu; Michael Leuschel; Atif Mashkoor
2021
Sterling: A Web-Based Visualizer for Relational Modeling Languages
Tristan Dyer; John Baugh
2021
Extending ASMETA with Time Features
Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene
2021
About the Concolic Execution and Symbolic ASM Function Promotion in CASM
Philipp Paulweber; Jakob Moosbrugger; Uwe Zdun
2021
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection
Fengqing Jiang; Neng Xiong; Xinyu Lian; Senen Gonzalez; Klaus-Dieter Schewe
2021
The CamilleX Framework for the Rodin Platform
Thai Son Hoang; Colin Snook; Dana Dghaym; Asieh Salehi Fathabadi; Michael Butler
2021
Extensible Record Structures in Event-B
Asieh Salehi Fathabadi; Colin Snook; Thai Son Hoang; Dana Dghaym; Michael Butler
2021
Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B
Robert Eschbach
2021
Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application
Shubhangi Salunkhe; Randolf Berglehner; Abdul Rasheeq
2021
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework
Peter Riviere
2021
A Modeling and Verification Framework for Security Protocols
Mario Lilli
2021
Formalizing the Institution for Event-B in the Coq Proof Assistant
Conor Reynolds
2021
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024