“在Topcased环境中对AADL规范进行正式验证。”
伯纳德·伯托米厄 , Jean-Paul Bodevix公司 , 克里斯蒂尔·乔德特 , 西尔瓦诺·达尔·齐利奥 , 马蒙·菲拉利 , 弗朗索瓦·沃纳达特 :
在顶层环境中对AADL规范进行正式验证。 阿达·欧罗普 2009 : 207-221
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)