Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
收藏Figshare2018-11-16 更新2026-04-29 收录
下载链接：
https://figshare.com/articles/dataset/Supplementary_Materials_for_a_Case_Study_of_Analysis_Contracts_with_the_ACTIVE_tool/7282187
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains the source code of the ACTIVE tool, and models/data from a case study of analysis contracts in two domains: thread scheduling, and battery design.
创建时间：
2018-11-16
