机译:ADER-DG具有A-Bouthiori有限体积限制,以在并行自适应网格细化框架中模拟海啸
机译:各向异性细化网格上对流扩散问题的hp自适应DG方法的后验误差估计
机译:各向异性细化网格上椭圆特征值问题的hp自适应DG方法的后验误差估计
机译:网格混合自适应服务发现协议(MeshaSedip):协议设计和正确证明
机译:在网状树协议中实现和测试VLAN
机译:使用SimVascular自动进行后验自适应网格划分的协议:一个测试用例
机译:血管血管自动A-BOSTIORI自适应啮合的协议
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。