工具书类

工具书类

 [1]

L.Du Bousquet先生。光泽系统统计功能测试。博士。论文，约瑟夫·傅里叶大学，格勒诺布尔，1999年。

 [2]

P.库索和R.库索。抽象解释：静态分析的统一格点模型通过构造或近似不动点来描述程序。在第四届ACM程序设计语言原理研讨会，77年流行1977年1月，洛杉矶。

 [3]

P.库索和R.库索。程序分析框架的系统设计。在第六届ACM编程语言原理研讨会，流行'791979年1月，圣安东尼奥。

 [4]

P.库索和R.库索。逻辑程序的抽象解释和应用。逻辑程序设计杂志, 13(2-3), 1992.

 [5]

F.Gaucher、E.Jahier、B.Jeannet和F.Maraninchi。用于调试反应式程序的自动状态。在5^第个国际自动化和算法研讨会调试，AADEBUG’032003年9月。链接.

 [6]

N.Halbwachs、Y.E.Proy和P.Roumanoff。使用线性关系分析验证实时系统。系统设计中的形式化方法，11（2），1997年8月。

 [7]

B.珍妮特。线性关系分析中的动态划分。应用于反应系统的验证。系统设计中的形式化方法.40页，即将出版，作为金砖国家研究报告提供http://www.brics.dk/RS/00/38.

 [8]

B.珍妮特。抽象表示和逼近传递函数非同源数据类型的解释。在静态分析研讨会，SAS’02，第2477卷，共页LNCS公司，马德里（西班牙）），2002年9月。

 [9]

B.珍妮特。线性关系分析中的动态划分。应用程序反应系统的验证。系统设计中的形式化方法，23（1）：5-372003年7月。

 [10]

B.Jeannet、N.Halbwachs和P.Raymond。数值特性分析中的动态划分。在静态分析研讨会，SAS’99，第1694卷，共页LNCS公司，威尼斯（意大利），1999年9月。

 [11]

C.Ratel、N.Halbwachs和P.Raymond。通过同步数据流编程语言LUSTRE。在ACM-SIGSOFT’91关键系统软件会议,新奥尔良，1991年12月。

工具书类