先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Formal Techniques for Distributed Objects, Components, and Systems
会议名
42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Held as Part of the 17th International Federated Conference on Distributed Computing Techniques (DisCoTec 2022)
中译名
《第四十二届IFIP WG 6.1国际分布式对象、组件与系统形式化技术会议》
机构
International Federation for Information Processing (IFIP)
会议日期
June 13-17, 2022
会议地点
Lucca, Italy
出版年
2022
馆藏号
344080
题名
作者
出版年
Monitoring Hyperproperties with Circuits
Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza
2022
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2
Hamed Arshad; Ross Horne; Christian Johansen; Olaf Owe; Tim A. C. Willemse
2022
The Reversible Temporal Process Language
Laura Bocchi; Ivan Lanese; Claudio Antares Mezzina; Shoji Yuen
2022
Branch-Well-Structured Transition Systems and Extensions
Benedikt Bollig; Alain Finkel; Amrita Suresh
2022
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems
Bineet Ghosh; Etienne Andre
2022
Co-engineering Safety-Security Using Statistical Model Checking
Rajesh Kumar; Siddhant Singh; Bhavesh Narra; Rohan Kela
2022
Fault-Tolerant Multiparty Session Types
Kirstin Peters; Uwe Nestmann; Christoph Wagner
2022
Effective Reductions of Mealy Machines
Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet
2022
Traits: Correctness-by-Construction for Free
Tobias Runge; Alex Potanin; Thomas Thum; Ina Schaefer
2022
Encodability Criteria for Quantum Based Systems
Anna Schmitt; Kirstin Peters; Yuxin Deng
2022
LTL Under Reductions with Weaker Conditions Than Stutter Invariance
Emmanuel Paviot-Adet; Denis Poitrenaud; Etienne Renault; Yann Thierry-Mieg
2022
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
German Vidal
2022
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024