Faculty of Integrated Arts and Sciences Hiroshima University Higashi-Hiroshima, 739, Japan;
Department of Computer Science University of Pittsburgh Pittsburgh, PA 15260, U.S.A.;
机译:针对特定领域的可视语言的测量和重新设计的视觉规范
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:扩展基于本地上下文的视觉语言规范
机译:具有动态规范的视觉语言框架
机译:将视觉规范语言应用于硬件协议验证。
机译:T淋巴细胞动力学的动力学和机械重建方法:使用视觉建模语言弥合免疫学家理论学家和程序员之间的差距
机译:具有动态规范的视觉语言框架