LUSTRE语言相关论文
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的S......
提供了一个使用同步描述性语言ＬＵＳＴＲＥ的例子，这个例子是关于使用此语言来描述，说明和验证一个资源协调器（这是一种正则的网络硬件设备）程序及......
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用.例如,适合这些领域实时控制系统建模和开发的Sc......
