Synchronous Data-Flow Language LUSTRE

【文件属性】：
文件名称：Synchronous Data-Flow Language LUSTRE
文件大小：946KB
文件格式：PDF
更新时间：2018-05-29 12:37:50
Synchronous Data-Flow Language LUSTRE The language LUSTRE, and its associated verification tool LESAR,can be used to design a program, to specify its critical properties, and to verify these properties