Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China;
UniversitéCote d'Azur, CNRS, Inria, France, I3S;
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 200062, China;
Clocks; Schedules; Timing; Unified modeling language; Embedded systems; Encoding; Synthesizers;
机译:基于时钟的动态逻辑,用于验证同步系统中的CCSL规范
机译:基于时钟的动态逻辑,用于CCSL规范的调度分析
机译:CCSL作为规范语言的时空一致性语言的验证框架
机译:用于CCSL规范的样品引导自动合成
机译:自动黑盒GUI规范增强和测试数据生成
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:用于CCSL规范的样品引导自动合成
机译:从正式规范自动合成安全关键应用的工业强度工具和技术。