Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"
收藏DataCite Commons2021-11-11 更新2025-04-16 收录
下载链接：
https://publikationen.bibliothek.kit.edu/1000139656
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7 (Evaluation (PART I - Generalized Test Tables)), 10 (Relational Test Tables), 11 (Provably Forgetting of Information), and 12 (Modular Regression Verification). For more details, refer to the READMEs of the individual sub-folders.
提供机构：
Karlsruher Institut für Technologie (KIT)
创建时间：
2021-11-11
