机译:面向学生的课程的组成和验证
Department of Computer Science and Software Engineering,The Behrend College,Penn State University,Erie, PA, USA;
student-oriented; service-oriented architecture; SOA; context; service model; UPPAAL;
机译:ASIC验证:将形式验证与基于HDL的课程相集成
机译:UMR涂料学院的短期课程,重点介绍涂料,涂料组成和涂料配方入门课程
机译:基于口头域的词汇域的合成性与非合作性验证
机译:利用软件代理和建构主义使大规模开放式在线课程更加以学生为中心
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:Premna odorata:叶片精油成分的季节性代谢变化及其通过体外分析和分子模型验证其抗衰老潜力
机译:面向服务的学生导向课程设置与排序体系结构
机译:Csp过程网络的组合验证:使用FDR2验证接口差异事件中的细化。