教师个人信息
- 姓名
- Klaus-Dieter Schewe 浙江大学教师主页
- 学院
- ZJUI
- 研究方向
-
精密解法、逻辑和语义，数据和知识库理论，分布式和混合系统
- 成果类型
- 图书
出版物信息
- 副标题
-
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
- 图书作者
- 出版社
-
Springer
- P-ISBN
-
9783319075112
- E-ISBN
-
9783319075129
- 摘要
-
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
- DOI
- https://doi.org/10.1007/978-3-319-07512-9
纸电馆藏信息
- 数据库
-
Springer
- 电子图书链接