×

序列。打开

swMATH ID: 849
软件作者: 休伯特·加拉维;拉杜·马特埃斯库
描述: 我们报告了CADP验证工具集的最新增强,该工具集允许检查通过模拟或执行复杂的工业规模系统获得的事件跟踪的正确性。正确性属性使用正则表达式或模态演算公式表示,并在非常大的记录道上进行有效验证。
主页: http://www.inrialpes.fr/vasy/cadp/man/seq.open.html
相关软件: Java路径查找器
引用于: 1文件
更多出版物: http://cadp.inria.fr/vasy/publications/cadp.html

0连载引用

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文