机译:基于UML和TA的列车控制中心轨道电路编码建模与验证
机译:基于UML和TA的列车控制中心轨道电路编码建模与验证
机译:基于UML和TA的列车控制中心轨道电路编码建模与验证
机译:基于机构的CASL / SPAS中简单UML状态机的编码和验证
机译:使用认知主体规范语言(CASL)指定和验证多主体系统。
机译:基于机器学习和UMLS中概念关系的歧义词自动解决
机译:在CasL网格 - 杆 - 微动模拟中验证耦合的流体/固体传递:关于收敛行为分析的技术简介和用于验证的软件工具的演示。