Synchronous DataFlow Language LUSTRE 上传者:硬件进阶猿 2019-07-29 19:38:35上传 PDF文件 945.53KB 热度 58次 ThelanguageLUSTRE,anditsassociatedverificationtoolLESAR,canbeusedtodesignaprogram,tospecifyitscriticalproperties,andtoverifytheseproperties 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论