机译:基于正式规范的嵌入式网络系统自动测试生成
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:基于编译器的嵌入式实时系统测试用例生成的正式规范
机译:根据实时反应系统的正式规范自动生成测试。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:基于正式规范的嵌入式网络系统的自动测试生成
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。