Domain specific modeling language; Formal verification; Model checking; Translational semantics; Traceability; Verification feedback; Fiacre;
机译:EMMA:用于编程课程的基于网络的报告系统-自动验证和增强的反馈-
机译:转换驱动的方法来识别文本蕴含
机译:通过设计验证大数据拓扑:一种半自动化方法
机译:一种自动化反馈验证结果的转换驱动方法
机译:主动和半主动控制系统的加速反馈控制策略:建模,算法开发和实验验证。
机译:门诊急性护理就诊后自动接收患者反馈的方法的探索
机译:转换驱动的方法可自动完成反馈验证结果