Applying Assume-Guarantee Contracts with Pacti for Specifying and Analyzing System-level Functionality in Aerospace
收藏DataCite Commons2024-01-14 更新2025-04-16 收录
下载链接：
http://dataverse.jpl.nasa.gov/citation?persistentId=doi:10.48577/jpl.R9VPCM
下载链接
链接失效反馈官方服务：
资源简介：
No abstract available.
提供机构：
Root
创建时间：
2024-01-14
