Supplementary Materials for a Case Study of Analysis Contracts with the ACTIVE tool
收藏数据链接：
官方服务：
资源简介：
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
