【文件属性】:
文件名称:时态逻辑方法
文件大小:1.57MB
文件格式:PDF
更新时间:2021-01-27 10:32:16
时态逻辑
1. Contract-based design
2. Temporal Logics
3. Contract-based design with temporal logics
4. OCRA: tool support and applications
5. Conclusions and future directions