时态逻辑方法

【文件属性】：

文件名称：时态逻辑方法

文件大小：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